Théophile Bastian
a3a33d4c88
Add performance analysis code + gzip eval
2019-06-11 22:15:32 +02:00
Théophile Bastian
3d336de196
Add flag to never go back to undefined rbp
...
Once rbp has been set in the DWARF, if this flag is set, nothing will
remove it from the table. This mimicks gcc and allows us to check easily
our tables against theirs.
2019-04-04 11:52:47 +02:00
Théophile Bastian
719fa27f99
Ensure a crashing FDE still generates other FDEs
2019-03-29 19:24:51 +01:00
Théophile Bastian
8fa2bc5952
ml_dwarf_write: write to a separate file
...
Don't try to write into the ELF file directly, use objcopy.
Updated README
2019-03-18 14:20:53 +01:00
Francesco Zappa Nardelli
484b20c732
initial commit of ocaml->c wrappers. as bap linking is already complicated, two independent binaries communicate via a tmp.marshall file for now.
2018-12-30 10:10:51 -08:00
Théophile Bastian
ee6ac40294
Frontend: print as readelf -wF
2018-11-19 16:09:37 +01:00
Théophile Bastian
4096c4bf19
Generate CFA tracking with RIP
2018-10-23 19:22:19 +02:00