...
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 type | Checks for cast to pointer pointing to object of different type (rule partially covered) Pointer dereferenced outside its bounds Pointer implicitly cast to different data type A cast shall not be performed between a pointer to object type and a pointer to a different object type | |||||||
PRQA QA-C |
| 0310, 0751, 3305 | Partially implemented | |||||||
PRQA QA-C++ |
| 3017, 3030, 3033 | ||||||||
PVS-Studio |
| V580 |
...