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
module Tracker : sig ... end
Taint tracker control module.
module Propagation : sig ... end
Policy based propagation.
module Gc : sig ... end