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.2.tar.gz sha256=4b0ebbfd94c9ea78bfb993448b8e5457636130e9a5204ea5817b5aa7867f4b9c md5=370ef26054ee1040351bad9cf6c22a45 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.2/opam |
No package is dependent
