Interpreter (infer.Absint.LowerHil.MakeAbstractInterpreter.Interpreter)

module TransferFunctions : sig ... end

module InvariantMap = TransferFunctions.CFG.Node.IdMap

type invariant_map =
  TransferFunctions.Domain.t Absint__AbstractInterpreter.State.t InvariantMap.t

val compute_post : 
  ?do_narrowing:bool ->
  ?pp_instr:
    (TransferFunctions.Domain.t ->
      IR.Sil.instr ->
      (Stdlib.Format.formatter -> unit) option) ->
  TransferFunctions.analysis_data ->
  initial:TransferFunctions.Domain.t ->
  IR.Procdesc.t ->
  TransferFunctions.Domain.t option

val exec_cfg : 
  ?do_narrowing:bool ->
  TransferFunctions.CFG.t ->
  TransferFunctions.analysis_data ->
  initial:TransferFunctions.Domain.t ->
  invariant_map

val exec_pdesc : 
  ?do_narrowing:bool ->
  TransferFunctions.analysis_data ->
  initial:TransferFunctions.Domain.t ->
  IR.Procdesc.t ->
  invariant_map

val extract_post : 
  TransferFunctions.CFG.Node.id ->
  'a Absint__AbstractInterpreter.State.t InvariantMap.t ->
  'a option

val extract_pre : 
  TransferFunctions.CFG.Node.id ->
  'a Absint__AbstractInterpreter.State.t InvariantMap.t ->
  'a option

val extract_state : 
  TransferFunctions.CFG.Node.id ->
  'a InvariantMap.t ->
  'a option