Implementing liveness analysis