Backend.Payloadsinclude sig ... endtype t = {annot_map : Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.t;biabduction : Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.t;buffer_overrun_analysis : BO.BufferOverrunAnalysisSummary.t option
IStdlib.IStd.Lazy.t;buffer_overrun_checker : BO.BufferOverrunCheckerSummary.t option
IStdlib.IStd.Lazy.t;config_impact_analysis : Costlib.ConfigImpactAnalysis.Summary.t option
IStdlib.IStd.Lazy.t;cost : Costlib.CostDomain.summary option IStdlib.IStd.Lazy.t;disjunctive_demo : Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.t;lab_resource_leaks : Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.t;litho_required_props : Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.t;pulse : Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.t;purity : Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.t;quandary : Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.t;racerd : Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.t;scope_leakage : Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.t;siof : Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.t;lineage : Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.t;lineage_shape : Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.t;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.tval lineage_shape :
t ->
Checkers.LineageShape.Summary.t option IStdlib.IStd.Lazy.tval lineage : t -> Checkers.Lineage.Summary.t option IStdlib.IStd.Lazy.tval siof : t -> Checkers.SiofDomain.Summary.t option IStdlib.IStd.Lazy.tval scope_leakage :
t ->
Checkers.ScopeLeakage.Summary.t option IStdlib.IStd.Lazy.tval racerd : t -> Concurrency.RacerDDomain.summary option IStdlib.IStd.Lazy.tval quandary : t -> Quandary.QuandarySummary.t option IStdlib.IStd.Lazy.tval purity : t -> Checkers.PurityDomain.summary option IStdlib.IStd.Lazy.tval pulse : t -> Pulselib.PulseSummary.t option IStdlib.IStd.Lazy.tval litho_required_props :
t ->
Checkers.LithoDomain.summary option IStdlib.IStd.Lazy.tval lab_resource_leaks :
t ->
Labs.ResourceLeakDomain.summary option IStdlib.IStd.Lazy.tval disjunctive_demo :
t ->
Checkers.DisjunctiveDemo.domain option IStdlib.IStd.Lazy.tval cost : t -> Costlib.CostDomain.summary option IStdlib.IStd.Lazy.tval config_impact_analysis :
t ->
Costlib.ConfigImpactAnalysis.Summary.t option IStdlib.IStd.Lazy.tval buffer_overrun_checker :
t ->
BO.BufferOverrunCheckerSummary.t option IStdlib.IStd.Lazy.tval buffer_overrun_analysis :
t ->
BO.BufferOverrunAnalysisSummary.t option IStdlib.IStd.Lazy.tval biabduction :
t ->
Biabduction.BiabductionSummary.t option IStdlib.IStd.Lazy.tval annot_map :
t ->
Checkers.AnnotationReachabilityDomain.t option IStdlib.IStd.Lazy.tmodule Fields : sig ... endval yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.tval pp : IStdlib.Pp.env -> Stdlib.Format.formatter -> t -> unitval empty : tmodule SQLite : sig ... end