bap-veri

AuthorBAP Team
LicenseMIT
Homepagehttps://github.com/BinaryAnalysisPlatform/bap-veri/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap-veri/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
&bap-std>= 1.3.0
bap-traces
cmdliner
oasis
ounit
pcre
textutils
uri
Availableocaml-version >= "4.03" & ocaml-version < "4.06"
PublishedMar 5, 2018
Source [http] https://github.com/BinaryAnalysisPlatform/bap-veri/archive/v0.2.2.tar.gz
370ef26054ee1040351bad9cf6c22a45
StatisticsInstalled 7 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.2/opam

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.

No package is dependent