...
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 |
| 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 | Partially implemented | ||||||
PRQA QA-C++ | 4.1 | 3017, 3030, 3033 | |||||||
PVS-Studio |
| V580 |
...