...
Fortify SCA Version 5.0 with the CERT C Rule Pack can detect violations of this recommendation.
The tool Compass / ROSE could detect violations of this rule by flagging every instance of a variable that is not explicitly of unsigned type involved in a bitwise operation.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...