...
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 | ||||||
| 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) |
...