...
Tool | Version | Checker | Description | ||||||
---|---|---|---|---|---|---|---|---|---|
Splint |
|
|
| ||||||
Compass/ROSE |
|
|
| ||||||
| araydecl | Fully implemented | |||||||
PRQA QA·CQA-C |
| Partially implemented |
...
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"
...