GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 08:53:12 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
698 Commits 50 Branches 0 Tags 13 MiB
Haskell 54.9%
C++ 37.4%
C 5.8%
Roff 0.8%
Assembly 0.7%
Other 0.4%
3aae34297f
Go to file
Andrei Stefanescu 3aae34297f [refinement][first version] Get successor candidates for classification failure blocks.
2019-02-05 21:08:13 -08:00
base Force entire statement list when filtering it 2019-01-28 14:47:06 -08:00
deps Fix warnings; crucible changes. 2019-01-22 10:25:45 -05:00
refinement [refinement][first version] Get successor candidates for classification failure blocks. 2019-02-05 21:08:13 -08:00
scripts Fix graphmod script 2018-11-12 09:42:06 -05:00
symbolic Map each memory segment in the binary using a What4 array. 2019-02-05 20:53:40 -08:00
x86 Change some calls to fail into translation errors 2019-01-23 13:22:03 -08:00
x86_symbolic Merge branch 'master' into refinement 2019-02-04 15:39:19 -08:00
.gitignore Update gitignore. 2019-01-22 23:46:33 -08: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 Fix warnings; crucible changes. 2019-01-22 10:25:45 -05:00

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 -- 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