package bap-veri
BAP Instruction Semantics Verification Tool
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.3.tar.gz
sha256=e96e296be0d3bce9f7349e1b0707cb96a0f44ab5bf8a84f8a665ff6add77aaa2
md5=161cae153274c7f8522feb886352f1d2
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: 10 Apr 2019
Dependencies (10)
- uri
-
textutils
>= "v0.11" & < "v0.12" -
core_kernel
>= "v0.11" & < "v0.12" - pcre
- ounit
-
oasis
build - cmdliner
-
bap-traces
= "1.6.0" -
bap-std
= "1.6.0" -
ocaml
>= "4.04.1" & < "4.08.0"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page