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"
Reverse Dependencies
-
None
Conflicts
-
None
BAP Instruction Semantics Verification Tool
Install
copied = false, 2000)"
:class="{ 'border-gray-700': !copied, 'text-gray-100': !copied, 'focus:ring-orange-500': !copied, 'focus:border-orange-500': !copied, 'border-green-600': copied, 'text-green-600': copied, 'focus:ring-green-500': copied, 'focus:border-green-500': copied }">
Authors
Maintainers
Sources
v0.2.5.tar.gz
md5=57cbf66ce4c20bac0f64b56b45ffe79a