...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| error-information-unused error-information-unused-computed bad-function bad-function-use | Supported | ||||||
| Polyspace Bug Finder |
| CERT C: Rec. API04-C | Checks for situations where returned value of a sensitive function is not checked (rule partially covered) | ||||||
| RuleChecker |
| error-information-unused bad-function bad-function-use | Supported | ||||||
| Security Reviewer - Static Reviewer | 6.02 | arithOperationsOnVoidPointer | Fully Implemented |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...