 
                            ...
| 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 | 
...