search

BinaryAnalysisPlatform / bil

A formal specification for BIL
https://github.com/BinaryAnalysisPlatform/bap
12 stars 7 forks source link

readme