bap-veri

AuthorBAP Team
LicenseMIT
Homepagehttps://github.com/BinaryAnalysisPlatform/bap-veri/
Issue Trackerhttps://github.com/BinaryAnalysisPlatform/bap-veri/issues
MaintainerIvan Gotovchits <ivg@ieee.org>
Dependencies
&bap-std
bap-traces
cmdliner
oasis
ounit
pcre
textutils
uri
Availableocaml-version >= "4.02.3"
PublishedSep 7, 2017
Source [http] https://github.com/BinaryAnalysisPlatform/bap-veri/archive/v0.2.1.tar.gz
bc8e9b105836c115f4884b7fe6862787
StatisticsInstalled 6 times last month.
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/bap-veri/bap-veri.0.2.1/opam

BAP verification tool

No package is dependent