OnDisk (infer.Backend.Summary.OnDisk)

val clear_cache : unit -> unit

Remove all the elements from the cache of summaries

val get : lazy_payloads:bool -> IR.Procname.t -> t option

Return the summary option for the procedure name

val reset : IR.Procname.t -> t

Reset a summary rebuilding the dependents and preserving the proc attributes if present.

val store : t -> t

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 -> unit

Similar to delete, but delete all summaries for a list of procedures

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 ->
      Costlib.ConfigImpactAnalysis.Summary.t option ->
      Absint.Errlog.t ->
      unit) ->
  unit

Iterates over all analysis artefacts listed above, for each procedure

val get_count : unit -> int

Counts the summaries currently stored on disk.