package bap-veri

  1. Overview
  2. No Docs
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)

  1. uri
  2. textutils_kernel >= "v0.12" & < "v0.13"
  3. core_kernel >= "v0.12" & < "v0.13"
  4. pcre
  5. ounit
  6. oasis build
  7. cmdliner
  8. monads
  9. bap-core-theory
  10. bap-traces
  11. bap-future
  12. bap-main
  13. bap >= "2.1.0"
  14. ocaml >= "4.07.0" & < "4.10.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.