GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-12 12:42:58 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
327 Commits 51 Branches 0 Tags 14 MiB
Haskell 55.4%
C++ 36.4%
C 5.7%
Roff 0.8%
COBOL 0.7%
Other 1%
417c34429d
Go to file
Iavor Diatchki 417c34429d Add some support for function calls. 
We basically punt, by passing-in a function to use as the implementation of
all functions.  This function is supposed to look at the IP, and
decide what to do.
2018-03-05 16:29:15 -08:00
base Merge branch 'master' of https://github.com/GaloisInc/macaw 2018-03-01 11:00:14 -08:00
scripts Remove script for building just these dependencies 2017-05-05 00:13:54 -07:00
symbolic Add some support for function calls. 2018-03-05 16:29:15 -08:00
x86 Export elfAddrWidth 2018-02-28 09:26:10 -08:00
x86_symbolic Export symbol names, so can add interpretations to them. 2018-03-02 15:35:22 -08:00
.gitignore Remove script for building just these dependencies 2017-05-05 00:13:54 -07:00
.gitmodules changed submodules to HTTPS origin to avoid authentication failure 2017-11-09 15:19:40 -08:00
.travis.yml Believe I am done with travis 2017-11-09 17:19:58 -08: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

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.