...
Splint Version 3.1.1 can detect violations of this recommendation.
GCC Compiler can detect violations of this recommendation when the -Wunreachable-code
flag is used.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...