Module Backend.Payloads

include sig ... end
type t = {
  1. annot_map : Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t;
  2. biabduction : Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t;
  3. buffer_overrun_analysis : BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t;
  4. buffer_overrun_checker : BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t;
  5. config_impact_analysis : Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t;
  6. cost : Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t;
  7. disjunctive_demo : Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t;
  8. lab_resource_leaks : Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t;
  9. litho_required_props : Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t;
  10. pulse : Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t;
  11. purity : Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t;
  12. quandary : Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t;
  13. racerd : Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t;
  14. scope_leakage : Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t;
  15. siof : Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t;
  16. lineage : Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t;
  17. lineage_shape : Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t;
  18. starvation : Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t;
}

Analysis summaries for inter-procedural analyses.

When retrieving already-computed summaries, each entry is lazily loaded from the analysis database to avoid loading and deserializing payloads unnecessarily, which can be overly expensive and memory-hungry.

This type has to be in sync with PayloadId.t

val starvation : t -> Concurrency.StarvationDomain.summary option IStdlib.IStd.Lazy.t
val lineage_shape : t -> Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t
val lineage : t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t
val siof : t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t
val scope_leakage : t -> Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t
val racerd : t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t
val quandary : t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t
val purity : t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t
val pulse : t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t
val litho_required_props : t -> Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t
val lab_resource_leaks : t -> Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t
val disjunctive_demo : t -> Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t
val cost : t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t
val config_impact_analysis : t -> Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.t
val buffer_overrun_checker : t -> BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.t
val buffer_overrun_analysis : t -> BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.t
val biabduction : t -> Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t
val annot_map : t -> Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t
module Fields : sig ... end
val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t
val pp : IStdlib.Pp.env -> Stdlib.Format.formatter -> t -> unit
val empty : t
module SQLite : sig ... end