...
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 |
| Do not access a variable through a pointer of an incompatible typeCERT C: Rule EXP39-C | 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 |
...