Opam Package bap-taint.2.2.0

Package info

opam-namebap-taint
opam-version2.2.0
synopsisBAP Taint Analysis Framework
description Provides a generic library for handling program taints, and plugins that integrate existing and new taint analysis tools with the new framework.
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (8)
revdeps (3)
metas (2)
libraries (2)

Package modules

Package sources

bap-taint

Package files

lib/bap/taint.plugin
lib/bap-taint/taint.cmxs
lib/bap-taint/taint.cmxa
lib/bap-taint/taint.cma
lib/bap-taint/taint.a
lib/bap-taint/bap_taint.mli
lib/bap-taint/bap_taint.cmx
lib/bap-taint/bap_taint.cmti
lib/bap-taint/bap_taint.cmt
lib/bap-taint/bap_taint.cmi
lib/bap-taint/bap_taint.annot
lib/bap-taint/META
lib/bap-taint
lib/bap-plugin-taint/taint_plugin.cmxs
lib/bap-plugin-taint/taint_plugin.cmxa
lib/bap-plugin-taint/taint_plugin.cma
lib/bap-plugin-taint/taint_plugin.a
lib/bap-plugin-taint/taint_main.cmx
lib/bap-plugin-taint/META
lib/bap-plugin-taint