...
Compass/ROSE 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. In particular, it flags bitwise operations that involved variables not declared with unsigned type.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...