...
Rule | Severity | Likelihood | Remediation Cost | Priority | Level |
|---|---|---|---|---|---|
EXP52-CPP | Low | Unlikely | Low | P3 | L3 |
Automated Detection
Tool | Version | Checker | Description | ||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| sizeof | Partially checked | ||||||||||||||
| Axivion Bauhaus Suite |
| CertC++-EXP52 | |||||||||||||||
| Clang |
| -Wunevaluated-expression | |||||||||||||||
| CodeSonar |
| LANG.STRUCT.SE.SIZEOF | Side Effects in sizeof | ||||||||||||||
| Helix QAC |
| C++3240, C++3241 | |||||||||||||||
| Klocwork |
| MISRA.SIZEOF.SIDE_EFFECT | |||||||||||||||
| LDRA tool suite |
| 54 S, 133 S | Partially implemented | ||||||||||||||
| Parasoft C/C++test |
| JSF-166, JSF-166_{b,c} | 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 | ||||||||||||||
| RuleChecker |
| sizeof | Partially checked | PRQA QA-C++ | |||||||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | 3240, 3241 | PRQA QA-C | 9.1 | 3240, 3241 |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...