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