...
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++ | |||||||||||||||
| PVS-Studio |
| PRQA QA-C++
| V1016 | |||||||||||||||
| RuleChecker |
| 3013 | PVS-Studio | |||||||||||||||
| Include Page | PVS-Studio_V | PVS-Studio_V |
| 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) | V1016
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...