GaloisInc/macaw
1
1
Fork 0
mirror of https://github.com/GaloisInc/macaw.git synced 2024-12-02 10:54:04 +03:00
Code Issues Projects Releases Wiki Activity
7d7ec5ff01
macaw/x86_symbolic/tests
History
Joe Hendrix df95e65987
Various changes to support VCG. 
The changes include:

  Clean up elf loading to fix a bug in rel addend parsing.

  Introduce block preconditions for populating reopt-vcg fields.

  Change load options to match reopt's interface.
2019-09-04 23:21:23 -07:00
..
add_ubuntu64.o Progress on macaw-symbolic and macaw-x86-symbolic. 2018-01-16 15:06:31 -08:00
add.c Progress on macaw-symbolic and macaw-x86-symbolic. 2018-01-16 15:06:31 -08:00
Main.hs Various changes to support VCG. 2019-09-04 23:21:23 -07:00