bap-veriversion

BAP Instruction Semantics Verification Tool

Verifies that our understaning of instruction semantics is correct, or at least the same as in QEMU by checking if our execution bisimulates the QEMU.

AuthorBAP Team
LicenseMIT
Published
Homepagehttps://github.com/BinaryAnalysisPlatform/bap-veri/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap-veri/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
Source [http] https://github.com/BinaryAnalysisPlatform/bap-veri/archive/v0.2.4.tar.gz
md5=35ca8475c4616ffa4752a6d971aa2182
StatisticsInstalled once last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.4/opam
No package is dependent