Opam Package bap-taint-propagator.2.2.0

Package info

opam-namebap-taint-propagator
opam-version2.2.0
synopsisBAP Taint propagation engine using based on microexecution
authors
  • BAP Team
homepagehttps://github.com/BinaryAnalysisPlatform/bap/
licenseMIT
deps (4)
revdeps (1)
metas (1)
libraries (1)

Package modules

Package sources

bap-taint-propagator

Package files

lib/bap/propagate_taint.plugin
lib/bap-plugin-propagate_taint/propagator.cmx
lib/bap-plugin-propagate_taint/propagate_taint_plugin.cmxs
lib/bap-plugin-propagate_taint/propagate_taint_plugin.cmxa
lib/bap-plugin-propagate_taint/propagate_taint_plugin.cma
lib/bap-plugin-propagate_taint/propagate_taint_plugin.a
lib/bap-plugin-propagate_taint/propagate_taint_main.cmx
lib/bap-plugin-propagate_taint/META
lib/bap-plugin-propagate_taint