Module `TaintTests.MockTaintAnalysis`

module TraceDomain : sig ... end

module TaintDomain : sig ... end

module Domain = TaintDomain

type analysis_data = { analysis_data : Quandary.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 -> Quandary.QuandarySummary.AccessTree.t
val checker : Quandary.QuandarySummary.t Absint.InterproceduralAnalysis.t -> Quandary.QuandarySummary.AccessTree.t option