MakeAbstractInterpreter (infer.Absint.LowerHil.MakeAbstractInterpreter)

Parameters

module TransferFunctions : TransferFunctions.HIL

include sig ... end

module Interpreter : sig ... end

type domain = TransferFunctions.Domain.t

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

compute and return the postcondition for the given procedure starting from initial.