Make.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