Module Checkers__AddressTaken.Analyzer
module TransferFunctions : sig ... endmodule InvariantMap = TransferFunctions.CFG.Node.IdMaptype 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 optionval exec_cfg : ?do_narrowing:bool -> TransferFunctions.CFG.t -> TransferFunctions.analysis_data -> initial:TransferFunctions.Domain.t -> invariant_mapval exec_pdesc : ?do_narrowing:bool -> TransferFunctions.analysis_data -> initial:TransferFunctions.Domain.t -> IR.Procdesc.t -> invariant_mapval extract_post : InvariantMap.key -> 'a Absint__AbstractInterpreter.State.t InvariantMap.t -> 'a optionval extract_pre : InvariantMap.key -> 'a Absint__AbstractInterpreter.State.t InvariantMap.t -> 'a optionval extract_state : InvariantMap.key -> 'a InvariantMap.t -> 'a option