bap-veri

Author BAP Team
License MIT
Homepage https://github.com/BinaryAnalysisPlatform/bap-veri/
Issue Tracker https://github.com/BinaryAnalysisPlatform/bap-veri/issues
Maintainer Ivan Gotovchits <ivg@ieee.org>
Dependencies
& bap-std
bap-traces
cmdliner
oasis
ounit
pcre
textutils
uri
Available ocaml-version >= "4.02.3"
Published Sep 21, 2016
Source [http] http://github.com/BinaryAnalysisPlatform/bap-veri/archive/v0.2.tar.gz
1bdbbeee1d2c143609690720f3860521
Statistics Installed 3 times in last month.
Edit https://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2/opam

BAP verification tool

No package is dependent