draperlaboratory / cbat_tools

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

Codyroux/arch to target #313

Closed codyroux closed 3 years ago

codyroux commented 3 years ago

Implement a rather large refactoring, to use Theory.target instead of Arch.t everywhere.

This is more in line with BAP 2.0 philosophy, but also is required to handle the new Thumb target.