Liveness analysis