GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-24 00:42:28 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
147 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%
17d00036f1
Go to file
Tristan Ravitch 17d00036f1 Fix a bug with the syscall instruction semantics 
The previous implementation missed an IP update, which is required to prevent
macaw from treating the syscall instruction as its own basic block.  Also factor
out the implementation of SC so that we can re-use it later for TW.
2017-11-04 22:42:01 -07:00
macaw-ppc Fix a bug with the syscall instruction semantics 2017-11-04 22:42:01 -07:00
macaw-semmc second commit 2017-09-29 09:37:45 -07:00
submodules Add support for the Syscall arch-specific terminator 2017-11-04 16:23:12 -07: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