bap-veriversion
BAP Instruction Semantics Verification Tool
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.
| Author | BAP Team |
|---|---|
| License | MIT |
| Published | |
| Homepage | https://github.com/BinaryAnalysisPlatform/bap-veri/ |
| Issue Tracker | https://github.com/BinaryAnalysisPlatform/bap-veri/issues |
| Maintainer | Ivan Gotovchits <ivg@ieee.org> |
| Dependencies |
|
| Source [http] | https://github.com/BinaryAnalysisPlatform/bap-veri/archive/v0.2.3.tar.gz sha256=e96e296be0d3bce9f7349e1b0707cb96a0f44ab5bf8a84f8a665ff6add77aaa2 md5=161cae153274c7f8522feb886352f1d2 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.3/opam |
No package is dependent
