liveness-analysis