GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-11-28 01:35:33 +03:00
Code Issues Projects Releases Wiki Activity
Open source binary analysis tools.
144 Commits 50 Branches 0 Tags 13 MiB
Haskell 54.9%
C++ 37.3%
C 5.8%
Roff 0.8%
Assembly 0.7%
Other 0.4%
f6d3f0f1de
Go to file
Tristan Ravitch f6d3f0f1de Save the simplified IP at each decoding step 
If we don't do this, the saved IP is unsimplified and contains expressions,
which means that the next decoding step won't simplify properly (it would
require recursive simplification, which we would prefer to avoid).
2017-11-03 20:03:52 -07:00
macaw-ppc Save the simplified IP at each decoding step 2017-11-03 20:03:52 -07:00
macaw-semmc second commit 2017-09-29 09:37:45 -07:00
submodules Implement test_bit_dynamic in the TH translation of semantics 2017-11-03 15:07:52 -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