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
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 }">
- Published
- 02 Jun 2020
- Authors
- Maintainers
Sources
Dependencies
textutils_kernel
>= "v0.12" & < "v0.13"
core_kernel
>= "v0.12" & < "v0.13"
oasis
build
bap
>= "2.1.0"
ocaml
>= "4.07.0" & < "4.10.0"
Reverse Dependencies