Quandary.TaintAnalysis
module F = Stdlib.Format
module L = IBase.Logging
module Make (TaintSpecification : TaintSpec.S) : sig ... end
Create a taint analysis from a specification