...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| sizeof | Partially checked | ||||||
Axivion Bauhaus Suite |
| CertC++-EXP52 | |||||||
Clang |
| -Wunevaluated-expression | |||||||
Klocwork |
| ||||||||
LDRA tool suite |
| 54 S, 133 S | Partially implemented | ||||||
Parasoft C/C++test |
| CERT_CPP-EXP52-a | The operand of the sizeof operator shall not contain any expression which has side effects | ||||||
Polyspace Bug Finder |
| CERT C++: EXP52-CPP | Checks for logical operator operand with side effects | ||||||
PRQA QA-C++ |
| 3240, 3241 | |||||||
RuleChecker |
| sizeof | Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...