Backend.Payloads
include sig ... end
type 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.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