 
                            ...
| Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| LDRA tool suite | 
 | 94 S, 554 S | Partially implemented | ||||||
| Parasoft C/C++test | 
 | CERT_C-EXP39-a  | There shall be no implicit conversions from integral to floating type | ||||||
| Polyspace Bug Finder | 
 | Checks for cast to pointer pointing to object of different type (rule partially covered) | |||||||
| PRQA QA-C | 
 | 0310, 0751, 3305 | Partially implemented | ||||||
| PRQA QA-C++ | 
 | 3017, 3030, 3033 | |||||||
| PVS-Studio | 
 | V580 | |||||||
| Helix QAC | 
 | C: 0310, 0751, 3305 C++: 3017, 3030, 3033 | 
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...