GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-23 16:35:02 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
204 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%
dbbb0bd947
Go to file
Tristan Ravitch dbbb0bd947 Add TOC entries to the macaw list of entry points in the test harness 
This code now pulls all of the function addresses from the TOC as entry points
for the code discovery search.  This lets us trivially find code reachable via
indirect calls, as the function pointer discovery heuristic doesn't seem to be
well-suited to PowerPC.  I'd like to push on that, but it seems like a good
start for now.
2017-11-16 10:16:22 -05:00
doc Add some more detail on the instruction semantics writeup 2017-11-09 15:37:05 -08:00
macaw-ppc Add TOC entries to the macaw list of entry points in the test harness 2017-11-16 10:16:22 -05:00
macaw-semmc second commit 2017-09-29 09:37:45 -07:00
submodules Update the semmc submodules for some more instruction semantics 2017-11-13 23:33:07 -08:00
.gitignore Tracing to track rewriting bug 2017-10-31 18:52:12 -07:00
.gitmodules Update the macaw and semmc submodules 2017-10-02 09:19:15 -07:00
cabal.project.dist Rename the cabal.project file 2017-10-23 09:46:00 -07:00
semmc-macaw.org second commit 2017-09-29 09:37:45 -07:00
stack.yaml Tracing to track rewriting bug 2017-10-31 18:52:12 -07:00