`module F = Format`
`module L = InferBase.Logging`
`module D = InferModules.UninitDomain.Domain`

Forward analysis to compute uninitialized variables at each program point

`module UninitVars : sig ... end`
`module AliasedVars : sig ... end`
`module RecordDomain : sig ... end`
`module Payload : sig ... end`
`val blacklisted_functions : InferIR.BuiltinDecl.t list`
`val should_report_on_type : InferIR.Typ.t ‑> bool`
`val is_blacklisted_function : InferIR.Typ.Procname.t ‑> bool`
`module TransferFunctions : functor (CFG : InferModules.ProcCfg.S) -> sig ... end`
`module CFG = InferModules.ProcCfg.NormalOneInstrPerNode`
`module Analyzer : sig ... end`
`val get_locals : InferIR.Procdesc.t ‑> InferIR.Tenv.t ‑> InferIR.Procdesc.t ‑> InferIR.AccessExpression.t list`
`val checker : InferModules.Callbacks.proc_callback_args ‑> InferModules.Summary.t`