...
Tool | Version | Checker | Description | ||||||
|---|---|---|---|---|---|---|---|---|---|
Splint |
|
|
| ||||||
Compass/ROSE |
|
|
| ||||||
| araydecl | Fully implemented | |||||||
| PRQA QA-C |
| 1312 | Partially implemented |
Related Vulnerabilities
...
ISO/IEC 9899:2011 Section 6.7.9, "Initialization"
ISO/IEC TR 24772 "CJM String termination"
Bibliography
[ECTC 1998] A.8, "Character array initialization"
[Seacord 2005a] Chapter 2, "Strings"
...