...
Splint Version 3.1.1 can detect violations of this rule.
Compass/ROSE does not check for violations, but it could, by flagging:
...
can detect violations of this recommendation. In particular, it catches comparisons and operations where one operand if of type size_t or rsize_t and the other is not.
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...