...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported, but no explicit checker: Astrée reports potential overflows. | |||||||
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 |
| CERT_C-FLP34-a | Avoid implicit conversions from wider to narrower types | ||||||
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 |
...