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
Documentation github.com Edit opam file
Published
18 Nov 2019
Authors
Maintainers
Sources
v0.2.4.tar.gz
md5=35ca8475c4616ffa4752a6d971aa2182
Dependencies
uri
textutils >= "v0.11" & < "v0.12"
core_kernel >= "v0.11" & < "v0.12"
pcre
ounit
oasis build
cmdliner
bap-traces
bap-std >= "2.0.0"
ocaml >= "4.04.1" & < "4.08.0"
Reverse Dependencies