Tool | Version | Checker | Description |
|---|
| Axivion Bauhaus Suite | | Include Page |
|---|
| Axivion Bauhaus Suite_V |
|---|
| Axivion Bauhaus Suite_V |
|---|
|
| CertC-POS30 |
|
| CodeSonar | | LANG.MEM.BO
LANG.MEM.TBA
MISC.MEM.NTERM.CSTRING | Buffer Overrun
Tainted Buffer Access
Unterminated C String |
| Compass/ROSE |
|
|
|
| Coverity | | READLINK | Implemented |
| Helix QAC | | C5033 |
|
| Parasoft C/C++test | | CERT_C-POS30-a
CERT_C-POS30-b
CERT_C-POS30-c | Avoid overflow due to reading a not zero terminated string
The values returned by functions 'read' and 'readlink' shall be used
Use of possibly not null-terminated string with functions expecting null-terminated string |
Polyspace Bug Finder | | Include Page |
|---|
| Polyspace Bug Finder_V |
|---|
| Polyspace Bug Finder_V |
|---|
|
| CERT C: Rule POS30-C | Checks for misuse of readlink() (rule partially covered) |
| PRQA QA-C | | 5033 |
|
