Analyzer (infer.UnitTests.TaintTests.MockTaintAnalysis.Analyzer)

module Interpreter : sig ... end

type domain = TransferFunctions(Absint.ProcCfg.Exceptional).Domain.t

val compute_post : 
  Interpreter.TransferFunctions.analysis_data ->
  initial:domain ->
  IR.Procdesc.t ->
  domain option