Open source binary analysis tools.
Go to file
2018-05-30 15:50:16 -04:00
base documentation fix 2018-05-30 15:50:16 -04:00
deps Bump crucible submodule again 2018-05-17 14:06:24 -07:00
scripts Remove script for building just these dependencies 2017-05-05 00:13:54 -07:00
symbolic symbolic: Rewrite the translation of macaw calls into crucible 2018-05-25 18:19:19 -07:00
x86 Merge branch 'master' of github.com:GaloisInc/macaw 2018-05-29 18:36:35 -07:00
x86_symbolic Bump crucible submodule again 2018-05-17 14:06:24 -07:00
.gitignore Remove script for building just these dependencies 2017-05-05 00:13:54 -07:00
.gitmodules Fix repo urls 2018-04-25 00:32:43 -07:00
.travis.yml Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 09:05:36 -07:00
LICENSE Add x86 specific code. 2017-09-27 15:54:43 -07:00
README.md Update READMEs. 2017-09-27 16:12:44 -07:00
stack.ghc-8.2.2.yaml Bump crucible submodule to pull in crucible/what4 split refactor, 2018-05-15 15:58:14 -07:00
stack.yaml Move macaw stack.yaml to root for similiarity with other Galois packages. 2018-04-24 09:05:36 -07:00

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.