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.5.tar.gz sha256=7742f994ab2aacef716ee4a7f6a5f6eda4bd1084ac34aa7fb76296c43a0293ec md5=57cbf66ce4c20bac0f64b56b45ffe79a |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.5/opam |
No package is dependent
