Module TaintAnalysis.Make

Create a taint analysis from a specification

Parameters

Signature

module TraceDomain = TaintSpecification.Trace
module TaintDomain = TaintSpecification.AccessTree
module Domain = TaintDomain
type analysis_data = {
  1. analysis_data : QuandarySummary.t Absint.InterproceduralAnalysis.t;
  2. formal_map : Absint.FormalMap.t;
}
module TransferFunctions (CFG : Absint.ProcCfg.S) : sig ... end
module Analyzer : sig ... end
val check_invariants : TaintDomain.t -> unit