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