...
Klocwork can detect violations of this rule with the LV_UNUSED.GEN, VA_UNUSED.* and UNREACH.* checkers. See Klocwork Cross Reference
The Coverity Prevent Version 5.0 DEADCODE checker can detect the specific instance where Code can never be reached because of a logical contradiction or a dead 'default' in switch statement.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...