Taint (bap-taint.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.

val attached : 
  (Rel.t * Object.t * Bap_primus.Std.Primus.value)
    Bap_primus.Std.Primus.observation

(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