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
sha256=9d2376e1a54d9d87fa2e8609f2ec5ecfe1619cfdef973003a600bae181e55632
md5=35ca8475c4616ffa4752a6d971aa2182
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.4/opam
No package is dependent