package bap-veri
BAP Instruction Semantics Verification Tool
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.4.tar.gz
sha256=9d2376e1a54d9d87fa2e8609f2ec5ecfe1619cfdef973003a600bae181e55632
md5=35ca8475c4616ffa4752a6d971aa2182
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.
Published: 18 Nov 2019
Dependencies (10)
- 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"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page