bap-veri

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
Authors
Sources
v0.2.4.tar.gz
md5=35ca8475c4616ffa4752a6d971aa2182
Dependencies
textutils
>= "v0.11" & < "v0.12"
core_kernel
>= "v0.11" & < "v0.12"
oasis
build
bap-std
>= "2.0.0"
ocaml
>= "4.04.1" & < "4.08.0"
Reverse Dependencies