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.1.tar.gz sha256=5dd546c812f273ee8edab20107256ed4c0072b7539bdc0ab5d38b638d37c1159 md5=bc8e9b105836c115f4884b7fe6862787 |
| Edit | https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.1/opam |
No package is dependent
