BAP Taint Analysis Framework
Module type
Class type
Library taint
Module Bap_taint . Std . Taint
module Kind : sig ... end

Each object that the engine tracks has an associated kind, that denotes a class of objects that share the same semantic properties.

module Rel : sig ... end

Relation between a value and an object that we track.

module Object : sig ... end

Each taint represents an abstract object that we would like to track. Every time a new taint is introduced we create a fresh new value, that represents the abstract object that we are tracking.

(attached (r,o,v) occurs when the relation r is established between o and v

module Tracker : sig ... end

Taint tracker control module.

module Propagation : sig ... end

Policy based propagation.

module Gc : sig ... end