bap-veriversion
BAP verification tool
| 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.tar.gz sha256=57e0c8dce1304f3cd87ba1ed10d7d0d7e7e4562e6eea66fa69a9e09c76cb3e82 md5=1bdbbeee1d2c143609690720f3860521 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2/opam |
No package is dependent
