Module `Summary.OnDisk`

val clear_cache : unit -> unit: Remove all the elements from the cache of summaries

val get : IR.Procname.t -> t option: Return the summary option for the procedure name

val reset : IR.Procdesc.t -> t: Reset a summary rebuilding the dependents and preserving the proc attributes if present.

val proc_resolve_attributes : IR.Procname.t -> IR.ProcAttributes.t option: Try 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 -> unit: Save summary for the procedure into the spec database

val reset_all : filter:IR.Filtering.procedures_filter -> unit -> unit
val delete : IR.Procname.t -> unit: Delete the .specs file corresponding to the procname and remove its summary from the Summary cache

val iter_specs : f:(t -> unit) -> unit: Iterates 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) -> unit: Iterates over all analysis artefacts listed above, for each procedure

val pp_specs_from_config : Stdlib.Format.formatter -> unit: pretty print all stored summaries