Liveness analysis
