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
Published
02 Jun 2020
Authors
Maintainers
Sources
v0.2.5.tar.gz
md5=57cbf66ce4c20bac0f64b56b45ffe79a
Dependencies
uri
textutils_kernel >= "v0.12" & < "v0.13"
core_kernel >= "v0.12" & < "v0.13"
pcre
ounit
oasis build
cmdliner
monads
bap-core-theory
bap-traces
bap-future
bap-main
bap >= "2.1.0"
ocaml >= "4.07.0" & < "4.10.0"
Reverse Dependencies