Summary.OnDiskval get : lazy_payloads:bool -> IR.Procname.t -> t optionReturn the summary option for the procedure name
val reset : IR.Procname.t -> tReset a summary rebuilding the dependents and preserving the proc attributes if present.
Save summary for the procedure into the spec database and return it. If the operation fails, store an empty summary and return that instead.
val delete_all : procedures:IR.Procname.t list -> unitSimilar to delete, but delete all summaries for a list of procedures
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 ->
Costlib.ConfigImpactAnalysis.Summary.t option ->
Absint.Errlog.t ->
unit) ->
unitIterates over all analysis artefacts listed above, for each procedure