Module Quandary__TaintAnalysis

module F = Stdlib.Format
module L = IBase.Logging
module Make : functor (TaintSpecification : Quandary.TaintSpec.S) -> sig ... end

Create a taint analysis from a specification