...
The LDRA tool suite V 7.6.0 is able to can detect violations of this recommendation.
Fortify SCA Version 5.0 with the CERT C Rule Pack can detect violations of this recommendation.
Splint Version 3.1.1 can detect violations of this recommendation.
...