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