...
Tool | Version | Checker | Description | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| cast-integer-to-enum | Partially checked | ||||||||||
| Axivion Bauhaus Suite |
| CertC++-INT50 | |||||||||||
| CodeSonar |
| LANG.CAST.COERCE LANG.CAST.VALUE | Coercion Alters Value Cast Alters Value | ||||||||||
| Helix QAC |
| C++3013 | |||||||||||
| Parasoft C/C++test |
| CERT_CPP-INT50-a | An expression with enum underlying type shall only have values corresponding to the enumerators of the enumeration | PRQA QA-C++ | |||||||||
| Include Page | PRQA QA-C++_V | PRQA QA-C++_V | |||||||||||
| 3013 | PVS-Studio |
| V1016 | ||||||||||
| RuleChecker |
| cast-integer-to-enum | Partially checked | ||||||||||
| Polyspace Bug Finder |
| CERT C++: INT50-CPP | Checks for casting to out-of-range enumeration value (rule fully covered) |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...