...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Compass/ROSE |
|
| Can detect some violations of this rule. However, it does not flag implicit casts, only explicit ones | ||||||
| MISRA_CAST | 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 | 9.5 | MISRA2004-10_1_d | Partially implemented | ||||||
Polyspace Bug Finder | R2016a | Float conversion overflow, Integer conversion overflow, Unsigned integer conversion overflow
| 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 PRQA QA-C++ | 3011 |
Related Vulnerabilities
...