bap-taint

BAP 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.

Install
Documentation github.com Edit opam file
Published
14 Jul 2022
Authors
Maintainers
Sources
v2.5.0.tar.gz
md5=5abd9b3628b43f797326034f31ca574f
Dependencies
monads = "2.5.0"
regular = "2.5.0"
bap-strings = "2.5.0"
bap-primus = "2.5.0"
bap-std = "2.5.0"
ppx_bap
core_kernel >= "v0.14" & < "v0.16"
ocaml >= "4.08.0"
Reverse Dependencies
bap >= "2.5.0"
bap-primus-propagate-taint >= "2.5.0"
bap-primus-taint >= "2.5.0"