Module Summary.OnDisk
val get : IR.Procname.t -> t optionReturn the summary option for the procedure name
val reset : IR.Procdesc.t -> tReset a summary rebuilding the dependents and preserving the proc attributes if present.
val proc_resolve_attributes : IR.Procname.t -> IR.ProcAttributes.t optionTry to find the attributes for a defined proc. First look at specs (to get attributes computed by analysis) then look at the attributes table. If no attributes can be found, return None.
val store_analyzed : t -> unitSave summary for the procedure into the spec database
val reset_all : filter:IR.Filtering.procedures_filter -> unit -> unitval delete : IR.Procname.t -> unitDelete the .specs file corresponding to the procname and remove its summary from the Summary cache
val iter_specs : f:(t -> unit) -> unitIterates over all stored summaries
val iter_report_summaries_from_config : f:(IR.Procname.t -> IBase.Location.t -> Costlib.CostDomain.summary option -> Absint.Errlog.t -> unit) -> unitIterates over all analysis artefacts listed above, for each procedure