Opam Package bap-primus-limit.2.2.0

Package info

opam-namebap-primus-limit
opam-version2.2.0
synopsisEnsures termination by limiting Primus machines
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (3)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bap-primus-limit

Package files

lib/bap/primus_limit.plugin
lib/bap-plugin-primus_limit/primus_limit_main.mli
lib/bap-plugin-primus_limit/primus_limit_main.cmx
lib/bap-plugin-primus_limit/primus_limit_main.cmti
lib/bap-plugin-primus_limit/primus_limit_main.cmt
lib/bap-plugin-primus_limit/primus_limit_main.cmi
lib/bap-plugin-primus_limit/primus_limit_main.annot
lib/bap-plugin-primus_limit/primus_limit.cmxs
lib/bap-plugin-primus_limit/primus_limit.cmxa
lib/bap-plugin-primus_limit/primus_limit.cma
lib/bap-plugin-primus_limit/primus_limit.a
lib/bap-plugin-primus_limit/META
lib/bap-plugin-primus_limit