package bap-veri

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

  1. uri
  2. textutils >= "v0.11" & < "v0.12"
  3. core_kernel >= "v0.11" & < "v0.12"
  4. pcre
  5. ounit
  6. oasis build
  7. cmdliner
  8. bap-traces = "1.6.0"
  9. bap-std = "1.6.0"
  10. ocaml >= "4.04.1" & < "4.08.0"

Dev Dependencies

None

Used by

None

Conflicts

None

OCaml

Innovation. Community. Security.