search

draperlaboratory / cbat_tools

Program analysis tools developed at Draper on the CBAT project.
MIT License
101 stars 14 forks source link

WIP: Change the runner api to expect a project #337

Closed codyroux closed 2 years ago

codyroux commented 3 years ago

Also not ready, creating so we have a place for discussion, and a place to point @ivg if he's so inclined.

codyroux commented 3 years ago

Currently this is broken: we cannot serialize a Project.

Per @ivg the solution is as follows: save the KB state after the load, and restore it if available. this should greatly speed up project load times.

The relevant code is here: https://github.com/BinaryAnalysisPlatform/bap/blob/master/plugins/disassemble/disassemble_main.ml#L372-L378

codyroux commented 2 years ago

Closing for now, we can solve this using the "raw loader" approach as we do in VIBES.