...
The LDRA tool suite V 7.6.0 can detect violations of this recommendation.
Compass/ROSE could can detect violations of this recommendation by reporting any operations (besides addition) done on any integer whose subsequent value gets converted to a pointer.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...