...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Astrée |
| Supported: Astrée reports defects due to returned (empty) strings. | |||||||
Axivion Bauhaus Suite |
| CertC-FIO37 | |||||||
CodeSonar |
| (general) | Considers the possibility that fgets() and fgetws() may return empty strings (Warnings of various classes may be triggered depending on subsequent operations on those strings. For example, the noncompliant code example cited above would trigger a buffer underrun warning.) | ||||||
Compass/ROSE | Could detect some violations of this rule (In particular, it could detect the noncompliant code example by searching for | ||||||||
LDRA tool suite |
| 44 S | Enhanced enforcement | ||||||
Parasoft C/C++test |
| CERT_C-FIO37-a | Avoid accessing arrays out of bounds | ||||||
PRQA QA-C++ |
| 2840, 2841, 2842, 2843, 2844, 2935, 2936, 2937, 2938, 2939 |
Related Vulnerabilities
...