Drop-Dead Analysis