BAP Instruction Semantics Verification Tool
Description

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.

Install
Documentation failed to build. github.com Edit opam file
Last Published
13 Mar 2018
Authors
Maintainers
Sources
v0.2.2.tar.gz
md5=370ef26054ee1040351bad9cf6c22a45
Dependencies
uri
textutils >= "v0.9.0" & < "v0.10"
pcre
ounit
oasis build
cmdliner
bap-traces = "1.4.0"
bap-std = "1.4.0"
ocaml >= "4.03" & < "4.06"
Reverse Dependencies