...
Tool | Version | Checker | Description | |||||||
---|---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker | ||||||||
Compass/ROSE | Can detect some violations of this rule. However, it does not flag implicit casts, only explicit ones | |||||||||
| MISRA_CAST (needs verification) | Can detect instances where implicit float conversion is involved: implicitly converting a complex expression with integer type to floating type, implicitly converting a double expression to narrower float type (may lose precision), implicitly converting a complex expression from | ||||||||
LDRA tool suite |
| 435 S, 93 S | Partially implemented | |||||||
Parasoft C/C++test |
| MISRA2004-10_1_d | CERT_C-FLP34-a | Avoid implicit conversions from wider to narrower types Partially implemented | ||||||
Polyspace Bug Finder |
| Overflow when converting between floating point data types Overflow when converting between integer types Overflow when converting between unsigned integer types | ||||||||
PRQA QA-C |
| 4450, 4451, | Partially implemented | |||||||
PRQA QA-C++ | 3011 | |||||||||
PVS-Studio |
| V615, V2003, V2004 |
...