GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-29 17:17:05 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
366 Commits 53 Branches 0 Tags 14 MiB
Haskell 55.4%
C++ 36.4%
C 5.7%
Roff 0.8%
COBOL 0.7%
Other 1%
d885de3a72
Go to file
Tristan Ravitch d885de3a72 ppc: Implement identifyReturn 
We need special treatment of the return, as the low two bits are cleared on
PowerPC, so we can't just rely on pattern matching against the ReturnAddr in the
IP register.
2018-03-28 16:59:12 -07:00
doc Add some more detail on the instruction semantics writeup 2017-11-09 15:37:05 -08:00
macaw-arm [arm] Implement identifyReturn (not properly functional). 2018-03-27 10:52:50 -07:00
macaw-ppc ppc: Implement identifyReturn 2018-03-28 16:59:12 -07:00
macaw-semmc Unsupported functions (nonceAppEval) should error immediately. 2018-03-10 10:04:03 -08:00
submodules ppc: Implement identifyReturn 2018-03-27 18:19:36 -07:00
.gitignore Add generated output files and editor backup files to gitignore. 2017-12-20 10:13:31 -08:00
.gitmodules Switch back to main s-cargot package: pretty-printing is now fast. 2018-03-05 13:36:53 -08:00
cabal.project.dist Update to the new parameterized-utils List 2017-12-13 21:56:29 -08:00
semmc-macaw.org second commit 2017-09-29 09:37:45 -07:00
stack.yaml s-cargot now under submodules 2018-01-31 16:44:16 -08:00