T (infer.UnitTests.TaintTests.TestInterpreter.AI

module CFG : sig ... end

module Domain : sig ... end

type analysis_data =
  Absint.AbstractInterpreter.MakeRPO(Absint.LowerHil.Make(MockTaintAnalysis.TransferFunctions(Absint.ProcCfg.Normal))(Absint.LowerHil.DefaultConfig)).TransferFunctions.analysis_data

val exec_instr : 
  Domain.t ->
  analysis_data ->
  CFG.Node.t ->
  Absint.ProcCfg.InstrNode.instr_index ->
  IR.Sil.instr ->
  Domain.t

val pp_session_name : CFG.Node.t -> Stdlib.Format.formatter -> unit