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