GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-18 19:41:44 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
266 Commits 51 Branches 0 Tags 14 MiB
Haskell 55.4%
C++ 36.4%
C 5.7%
Roff 0.8%
COBOL 0.7%
Other 1%
71e3d868b8
Go to file
Tristan Ravitch 71e3d868b8 Fix a bug in handling arch-specific statements 
The system call instructions TRAP and SC were updating the IP twice, which led
to skipping instructions.  The IP increment for these instructions was already
handled in the abstract interpretation of arch-specific terminators.
2018-01-22 10:34:52 -08:00
doc Add some more detail on the instruction semantics writeup 2017-11-09 15:37:05 -08:00
macaw-arm [arm] Misc cleanup in ARM disassembly. 2018-01-08 13:40:57 -08:00
macaw-ppc Fix a bug in handling arch-specific statements 2018-01-22 10:34:52 -08:00
macaw-semmc Fixed a bug I introduced because of a delete in the wrong buffer 2018-01-05 14:23:11 -08:00
submodules Submodule updates 2018-01-22 10:26:20 -08:00
.gitignore Add generated output files and editor backup files to gitignore. 2017-12-20 10:13:31 -08:00
.gitmodules Update the macaw and semmc submodules 2017-10-02 09:19:15 -07: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 Tracing to track rewriting bug 2017-10-31 18:52:12 -07:00