Module BufferOverrunUtils.ModelEnv

type model_env = {
  1. pname : IR.Procname.t;
  2. caller_pname : IR.Procname.t option;
  3. node_hash : int;
  4. location : IBase.Location.t;
  5. tenv : IR.Tenv.t;
  6. integer_type_widths : IR.IntegerWidths.t;
  7. get_summary : BufferOverrunAnalysisSummary.get_summary;
}

Make model environment. caller_pname is relevant only when the model environment is used to process builtins.