...
Tool | Version | Checker | Description | |||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Astrée |
| Supported: Can be checked with appropriate analysis stubs. | ||||||||||||||||
| Axivion Bauhaus Suite |
| CertC-POS30 | ||||||||||||||||
| CodeSonar |
| LANG.MEM.BO | Buffer Overrun | |||||||||||||||
| Compass/ROSE | ||||||||||||||||||
| Coverity |
| READLINK | Implemented | |||||||||||||||
| Helix QAC |
| C5033 | ||||||||||||||||
| Klocwork |
| ABV.GENERAL | ||||||||||||||||
| Parasoft C/C++test |
| CERT_C-POS30-a | Avoid overflow due to reading a not zero terminated string | |||||||||||||||
| Misuse CERT C: Rule POS30-C | Checks for misuse of readlink() | Third argument of readlink does not leave space for null terminator in buffer | PRQA QA-C | ||||||||||||||
| Include Page | PRQA QA-C_v | PRQA QA-C_v | 5033(rule partially covered) |
Related Vulnerabilities
Search for vulnerabilities resulting from the violation of this rule on the CERT website.
...
...