type t = | AnnotMap| Biabduction| BufferOverrunAnalysis| BufferOverrunChecker| ConfigImpactAnalysis| Cost| DisjunctiveDemo| LabResourceLeaks| LithoRequiredProps| Pulse| Purity| Quandary| RacerD| ScopeLeakage| SIOF| Lineage| LineageShape| Starvation| Nullsafe| Uninit
val bufferoverrunanalysis : tval bufferoverrunchecker : tval configimpactanalysis : tval lithorequiredprops : tval is_annotmap : t -> boolval is_biabduction : t -> boolval is_bufferoverrunanalysis : t -> boolval is_bufferoverrunchecker : t -> boolval is_configimpactanalysis : t -> boolval is_disjunctivedemo : t -> boolval is_labresourceleaks : t -> boolval is_lithorequiredprops : t -> boolval is_purity : t -> boolval is_quandary : t -> boolval is_racerd : t -> boolval is_scopeleakage : t -> boolval is_lineage : t -> boolval is_lineageshape : t -> boolval is_starvation : t -> boolval is_nullsafe : t -> boolval is_uninit : t -> boolval annotmap_val : t -> unit optionval biabduction_val : t -> unit optionval bufferoverrunanalysis_val : t -> unit optionval bufferoverrunchecker_val : t -> unit optionval configimpactanalysis_val : t -> unit optionval cost_val : t -> unit optionval disjunctivedemo_val : t -> unit optionval labresourceleaks_val : t -> unit optionval lithorequiredprops_val : t -> unit optionval pulse_val : t -> unit optionval purity_val : t -> unit optionval quandary_val : t -> unit optionval racerd_val : t -> unit optionval scopeleakage_val : t -> unit optionval siof_val : t -> unit optionval lineage_val : t -> unit optionval lineageshape_val : t -> unit optionval starvation_val : t -> unit optionval nullsafe_val : t -> unit optionval uninit_val : t -> unit optionval database_fields : string list