Module `Checkers.Liveness`

module Domain : sig ... end

module PreAnalysisTransferFunctions : functor (CFG : Absint.ProcCfg.S) -> Absint.TransferFunctions.SIL with module CFG = CFG and module Domain = Domain and type analysis_data = IR.Procdesc.t

val checker : Absint.IntraproceduralAnalysis.t -> unit
val is_always_in_scope : IR.Procdesc.t -> IR.Pvar.t -> bool