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.5.tar.gz
md5=57cbf66ce4c20bac0f64b56b45ffe79a
StatisticsInstalled 2 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.5/opam
No package is dependent