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
Published
18 Nov 2019
Authors
Maintainers
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