ModelEnv (infer.BO.BufferOverrunUtils.ModelEnv)

type model_env = {

pname : IR.Procname.t;
caller_pname : IR.Procname.t option;
node_hash : int;
location : IBase.Location.t;
tenv : IR.Tenv.t;
integer_type_widths : IR.IntegerWidths.t;
get_summary : BufferOverrunAnalysisSummary.get_summary;

}

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

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