Payloads (infer.Backend.Payloads)

include sig ... end

type t = {

annot_map : Checkers.AnnotationReachabilityDomain.t IStdlib.SafeLazy.t option;
buffer_overrun_analysis : BO.BufferOverrunAnalysisSummary.t IStdlib.SafeLazy.t option;
buffer_overrun_checker : BO.BufferOverrunCheckerSummary.t IStdlib.SafeLazy.t option;
config_impact_analysis : Costlib.ConfigImpactAnalysis.Summary.t IStdlib.SafeLazy.t option;
cost : Costlib.CostDomain.summary IStdlib.SafeLazy.t option;
disjunctive_demo : Checkers.DisjunctiveDemo.domain IStdlib.SafeLazy.t option;
static_constructor_stall_checker : Checkers.StaticConstructorStallChecker.Summary.t IStdlib.SafeLazy.t option;
lab_resource_leaks : Labs.ResourceLeakDomain.summary IStdlib.SafeLazy.t option;
litho_required_props : Checkers.LithoDomain.summary IStdlib.SafeLazy.t option;
pulse : Pulselib.PulseSummary.t IStdlib.SafeLazy.t option;
purity : Checkers.PurityDomain.summary IStdlib.SafeLazy.t option;
racerd : Concurrency.RacerDDomain.summary IStdlib.SafeLazy.t option;
scope_leakage : Checkers.ScopeLeakage.Summary.t IStdlib.SafeLazy.t option;
siof : Checkers.SiofDomain.Summary.t IStdlib.SafeLazy.t option;
lineage : Checkers.Lineage.Summary.t IStdlib.SafeLazy.t option;
lineage_shape : Checkers.LineageShape.Summary.t IStdlib.SafeLazy.t option;
starvation : Concurrency.StarvationDomain.summary IStdlib.SafeLazy.t option;

}

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 IStdlib.SafeLazy.t option

val lineage_shape : 
  t ->
  Checkers.LineageShape.Summary.t IStdlib.SafeLazy.t option

val lineage : t -> Checkers.Lineage.Summary.t IStdlib.SafeLazy.t option

val siof : t -> Checkers.SiofDomain.Summary.t IStdlib.SafeLazy.t option

val scope_leakage : 
  t ->
  Checkers.ScopeLeakage.Summary.t IStdlib.SafeLazy.t option

val racerd : t -> Concurrency.RacerDDomain.summary IStdlib.SafeLazy.t option

val purity : t -> Checkers.PurityDomain.summary IStdlib.SafeLazy.t option

val pulse : t -> Pulselib.PulseSummary.t IStdlib.SafeLazy.t option

val litho_required_props : 
  t ->
  Checkers.LithoDomain.summary IStdlib.SafeLazy.t option

val lab_resource_leaks : 
  t ->
  Labs.ResourceLeakDomain.summary IStdlib.SafeLazy.t option

val static_constructor_stall_checker : 
  t ->
  Checkers.StaticConstructorStallChecker.Summary.t IStdlib.SafeLazy.t option

val disjunctive_demo : 
  t ->
  Checkers.DisjunctiveDemo.domain IStdlib.SafeLazy.t option

val cost : t -> Costlib.CostDomain.summary IStdlib.SafeLazy.t option

val config_impact_analysis : 
  t ->
  Costlib.ConfigImpactAnalysis.Summary.t IStdlib.SafeLazy.t option

val buffer_overrun_checker : 
  t ->
  BO.BufferOverrunCheckerSummary.t IStdlib.SafeLazy.t option

val buffer_overrun_analysis : 
  t ->
  BO.BufferOverrunAnalysisSummary.t IStdlib.SafeLazy.t option

val annot_map : 
  t ->
  Checkers.AnnotationReachabilityDomain.t IStdlib.SafeLazy.t option

module Fields : sig ... end

val yojson_of_t : t -> Ppx_yojson_conv_lib.Yojson.Safe.t

val pp : 
  IStdlib.Pp.env ->
  IR.Procname.t ->
  Stdlib.Format.formatter ->
  t ->
  unit

val empty : t

val has_payload : IBase.PayloadId.t -> t -> bool

val analysis_request_of_field : 
  (_, _) IStdlib.IStd.Field.t ->
  IBase.AnalysisRequest.t

module SQLite : sig ... end