Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

Tool

Version

Checker

Description

Splint

Include Page
Splint_V
Splint_V

 

 

Compass/ROSE

 

 

 

ECLAIR

Include Page
ECLAIR_V
ECLAIR_V

araydecl

Fully implemented

PRQA QA·CQA-C
Include Page
PRQA_V
PRQA_V
 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"

...