search

GrammaTech / gtirb

Intermediate Representation for Binary analysis and transformation
https://grammatech.github.io/gtirb/
Other
305 stars 36 forks source link

Value Set Analysis on GTIRB #53

Closed SaiVK closed 2 years ago

SaiVK commented 2 years ago

Hello Everyone Is there any inbuilt Value Set Analysis implementation available for GTIRB? If yes can anyone point me to the repo? If not, is it possible for making use of Angr's analysis tools to work on GTIRB?

Thanking you Sai

tjohnson-gt commented 2 years ago

Unfortunately, we do not have any existing support for VSA in the GTIRB context at this time. We're also not aware of any work to interface between GTIRB and Angr.

That said, you are more than welcome to develop your own interface between the two tools if you feel motivated enough. Both are open source, so it should be reasonably feasible.

SaiVK commented 2 years ago

Thank you @tjohnson-gt.