Versions Compared

Key

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

If a file-scope object or a function does not need to be visible outside of the file, it should be hidden by being declared as static. This creates more modular code and limits pollution of the global name space.

Wiki MarkupSection 6.2.2 of C99 \ [[ISO/IEC 9899:1999|AA. Bibliography#ISO/IEC 9899-1999]\] states that

If the declaration of a file scope identifier for an object or a function contains the storage-class specifier static, the identifier has internal linkage.

...

Tool

Version

Checker

Description

Section

Splint

Include Page
c:Splint_Vc:
Splint_V

 

 

Section

LDRA tool suite

Include Page
c:LDRA_Vc:
LDRA_V
Section

27 D
61 D
553 S

Section

Fully Implemented

...