...
The LDRA tool suite V 7.6.0 can detect violations of this recommendation.
GCC Compiler can detect some violations of this recommendation when the -Wswitch and -Wswitch-default flags are used.
Compass/ROSE can detect some violations of this recommendation. In particular it flags switch statements that do not have a default clause. ROSE should also detect 'fake switches' as well...that is a chain of if statements each checking the value of the same variable. These if statements should always end in an 'else' clause, or they should mathematically cover every possibility. For instance:
...