liveness analysis