Module `BufferOverrunUtils.ModelEnv`

type model_env = { pname : IR.Procname.t; node_hash : int; location : IBase.Location.t; tenv : IR.Tenv.t; integer_type_widths : IR.Typ.IntegerWidths.t; get_summary : BufferOverrunAnalysisSummary.get_summary; }

val mk_model_env : IR.Procname.t -> node_hash:int -> IBase.Location.t -> IR.Tenv.t -> IR.Typ.IntegerWidths.t -> BufferOverrunAnalysisSummary.get_summary -> model_env