MockTaintAnalysis (infer.UnitTests.TaintTests.MockTaintAnalysis)

module TraceDomain : sig ... end

module TaintDomain : sig ... end

module Domain = TaintDomain

type analysis_data = {

}

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 ->
  Quandary.QuandarySummary.AccessTree.t

val checker : 
  Quandary.QuandarySummary.t Absint.InterproceduralAnalysis.t ->
  Quandary.QuandarySummary.AccessTree.t option