package bap-veri
BAP Instruction Semantics Verification Tool
Install
Dune Dependency
Authors
Maintainers
Sources
v0.2.5.tar.gz
sha256=7742f994ab2aacef716ee4a7f6a5f6eda4bd1084ac34aa7fb76296c43a0293ec
md5=57cbf66ce4c20bac0f64b56b45ffe79a
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: 02 Jun 2020
Dependencies (14)
- 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"
Dev Dependencies
None
Used by
None
Conflicts
None
On This Page