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.4.tar.gz sha256=9d2376e1a54d9d87fa2e8609f2ec5ecfe1619cfdef973003a600bae181e55632 md5=35ca8475c4616ffa4752a6d971aa2182 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.4/opam |
No package is dependent
