Tokstyle.C.Analysis.Liveness
liveness :: Map String a -> [Node] -> CFG -> Map Node Liveness Source #
type Liveness = Set AccessPath Source #