 
                            ...
| 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 QA-C++ | 4.2 | 3011 | Partially implemented | 
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...