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.