Module BO__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 : BO.BufferOverrunAnalysisSummary.get_summary;}
val mk_model_env : IR.Procname.t -> node_hash:int -> IBase.Location.t -> IR.Tenv.t -> IR.Typ.IntegerWidths.t -> BO.BufferOverrunAnalysisSummary.get_summary -> model_env