Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.
Comment: Migrated to Confluence 4.0

...

Tool

Version

Checker

Description

Section

Splint

Include Page
c:Splint_Vc:
Splint_V

 

 

Section

Compass/ROSE

 

 

 

Section

ECLAIR

Include Page
c:ECLAIR_Vc:
ECLAIR_V
Section

araydecl

Section

Fully Implemented

...

ISO/IEC TR 24772 "CJM String Termination"

Bibliography

...

\[[ECTC 1998|AA. Bibliography#ECTC 98] \] A.8, "Character array initialization" \[
[Seacord 2005a|AA. Bibliography#Seacord 05a] \] Chapter 2, "Strings"

...

STR35-C. Do not copy data from an unbounded source to a fixed-length array      07. Characters and Strings (STR)      STR37-C. Arguments to character handling functions must be representable as an unsigned char