Module `TaintAnalysis.Make`

Create a taint analysis from a specification

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 : functor (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