Semantic Identiication of Dead Control-flow Paths Semantic Identiication of Dead Control-flow Paths