`type t````=` `{`

`annot_map : AnnotReachabilityDomain.astate option;`
`biabduction : BiabductionSummary.t option;`
`buffer_overrun : BufferOverrunDomain.Summary.t option;`
`crashcontext_frame : InferGenerated.Stacktree_t.stacktree option;`
`litho : LithoDomain.astate option;`
`quandary : QuandarySummary.t option;`
`racerd : RacerDDomain.summary option;`
`resources : ResourceLeakDomain.summary option;`
`siof : SiofDomain.Summary.astate option;`
`typestate : unit TypeState.t option;`
`uninit : UninitDomain.summary option;`
`cost : CostDomain.summary option;`
`starvation : StarvationDomain.summary option;`

`}```

analysis results

`val pp : InferStdlib.Pp.env ‑> Format.formatter ‑> t ‑> unit`
`val empty : t`