Liveness (infer.Checkers.Liveness)

module Domain : sig ... end

type t

val live_before : IR.Procdesc.Node.id -> t -> Domain.t option

val live_after : IR.Procdesc.Node.id -> t -> Domain.t option

val compute : IR.Procdesc.t -> t

module ExtendedDomain : Absint.AbstractDomain.WithBottom

module PreAnalysisTransferFunctions
  (CFG : Absint.ProcCfg.S) : 
  Absint.AbstractInterpreter.TransferFunctions
    with module CFG = CFG
     and module Domain = ExtendedDomain
     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