TaintAnalysis.Make
Create a taint analysis from a specification
module TaintSpecification : TaintSpec.S
module TraceDomain = TaintSpecification.Trace
module TaintDomain = TaintSpecification.AccessTree
module Domain = TaintDomain
type analysis_data = {
analysis_data : QuandarySummary.t Absint.InterproceduralAnalysis.t;
formal_map : Absint.FormalMap.t;
}
module TransferFunctions (CFG : Absint.ProcCfg.S) : sig ... end
module HilConfig : Absint.LowerHil.HilConfig
module Analyzer : sig ... end
val check_invariants : TaintDomain.t -> unit
val make_summary :
analysis_data ->
TaintDomain.t ->
QuandarySummary.AccessTree.t
val checker :
QuandarySummary.t Absint.InterproceduralAnalysis.t ->
QuandarySummary.AccessTree.t option