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
Last Published
13 Mar 2018
Authors
Maintainers
Sources
v0.2.2.tar.gz
md5=370ef26054ee1040351bad9cf6c22a45
Dependencies
textutils >= "v0.9.0" & < "v0.10"
oasis build
bap-traces = "1.4.0"
bap-std = "1.4.0"
ocaml >= "4.03" & < "4.06"
Reverse Dependencies