Open source binary analysis tools.
Go to file
2018-11-25 23:53:28 -08:00
base Explicit NoStarIsType with Data.Kind.Type and increasing do indentation (for GHC 8.6) 2018-11-20 09:43:48 +00:00
deps Update crucible and parameterized-utils submodules 2018-11-14 10:33:10 -08:00
scripts Fix graphmod script 2018-11-12 09:42:06 -05:00
symbolic Update crucible and parameterized-utils submodules 2018-11-14 10:33:10 -08:00
x86 Implement NoStarIsType and MonadFail for GHC 8.6. 2018-11-21 00:08:33 +00:00
x86_symbolic Merge branch 'master' of github.com:GaloisInc/macaw 2018-11-25 23:53:28 -08: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 Fix travis builds. 2018-11-12 09:58:10 -05:00
LICENSE Add x86 specific code. 2017-09-27 15:54:43 -07:00
README.md Delete top-level stack.yaml symlink 2018-10-30 16:12:16 -07:00
stack.ghc-8.2.2.yaml Add test case for object jump table. 2018-07-20 18:16:52 -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 -- 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.

To build with Stack, first create a top-level stack.yaml file by symlinking to one of the provided stack-ghc-<version>.yaml files. E.g.

ln -s stack-ghc-8.2.yaml stack.yaml
stack build