...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Compass/ROSE | |||||||||
| Coverity | 7.5 | CHECKED_RETURN | Finds inconsistencies in how function call return values are handled | ||||||
| Fortify SCA | 5.0 | ||||||||
| LDRA tool suite |
| 45 D | Partially implemented | ||||||
| Parasoft C/C++test | 9.5 | MRM-34 | |||||||
| Parasoft Insure++ | Runtime detection |
...