...
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 |
| 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++|||||||||
RuleChecker |
| PRQA QA-C++
| PRQA QA-C++
| 3240, 3241sizeof | Partially checked |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...