OCaml logo

bap-veri

BAP verification tool
Description
Install
https://github.com/BinaryAnalysisPlatform/bap-veri/
Published
07 Sep 2017
Authors
Maintainers
Sources
v0.2.1.tar.gz 
md5=bc8e9b105836c115f4884b7fe6862787
Dependencies
uri
textutils 
< "v0.9"
pcre
ounit
oasis 
build
cmdliner
bap-traces 
= "1.3.0"
bap-std 
= "1.3.0"
ocaml 
>= "4.02.3"
Reverse Dependencies