...
The LDRA tool suite V 7.6.0 is able to detect violations of this recommendation.
Splint Version 3.1.1 can detect violations of this recommendation.
The Coverity Prevent NO_EFFECT checker finds statements or expressions that do not accomplish anything, or statements that perform an unintended action.
...