mirror of
https://github.com/GaloisInc/macaw.git
synced 2024-12-29 17:17:05 +03:00
Open source binary analysis tools.
d6060e51be
We were hitting a translation error for imul in another application - this test case is a reduced example demonstrating the problem. The root cause was that there were a few missing cases for the new signed immediate values from flexdis; this caused a fallthrough that mis-identified signed immediates as non-immediates, triggering an error. |
||
|---|---|---|
| base | ||
| deps | ||
| scripts | ||
| symbolic | ||
| x86 | ||
| x86_symbolic | ||
| .gitignore | ||
| .gitmodules | ||
| .travis.yml | ||
| LICENSE | ||
| README.md | ||
| stack.ghc-8.2.2.yaml | ||
| stack.yaml | ||
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 -- Library that provides symbolic simulation of Macaw programs via Crucible.
- macaw-x86 -- Provides definitions enabling Macaw to be used on X86_64 programs.
- macaw-x86-symbolic -- Adds Macaw-symbolic extensions needed to support x86.
The libraries that make up Macaw are released under the BSD license.