mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-12 12:42:58 +03:00
Open source binary analysis tools.
4988297429
When computing pointers we don't always check that the results are valid. Instead, we do the check whenever we use the pointers. The reason is to support code where pointers are temporarily "bad" but are never used that way. For example: subq $10, %aex # aex contains a pointer Loop: addq $10, %aex ... |
||
|---|---|---|
| base | ||
| scripts | ||
| symbolic | ||
| x86 | ||
| x86_symbolic | ||
| .gitignore | ||
| .gitmodules | ||
| .travis.yml | ||
| LICENSE | ||
| README.md | ||
This is the main repository for the Macaw binary analysis framework. This framework is implemented to offer extensible support for architectures.
The main algorithm implemented so far is a code discovery procedure which will discover reachable code in the binary given one or more entry points such as _start, or the current symbols.
The core libraries are:
- macaw-base -- The core architecture-independent operations and algorithms.
- macaw-symbolic -- A work-in-progress library that provides symbolic simulation of Macaw programs.
- macaw-x86 -- Provides definitions enabling Macaw to be used on X86_64 programs.
The libraries that make up Macaw are released under the BSD license.