...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | |||||||||
| Coverity | 7.5 | CHECKED_RETURN | Finds inconsistencies in how function call return values are handled | ||||||
| LDRA tool suite |
| 45 D | Partially implemented | ||||||
| Parasoft C/C++test | 9.5
| MRM-34 | |||||||
| Parasoft Insure++ | Runtime detection | ||||||||
| PRQA QA-C++ | 4.1 | 4632, 3225, 3226, 3227, 3228, 3229 |
...