This section is provided to reinforce understanding of some of the terminology related to the C language and static analysis. No attempt is made to provide a comprehensive tutorial.
ISO C Standard
ISO C Language Definition
Undefined_Behaviour
Unspecified Behaviour
Implementation Defined Behaviour
Locale Specific Behaviour
Standard Library Header Files
Balancing
Character Sets
Constant Expressions
Constants
Default Argument Promotion
Integral Promotion
Keywords
Linkage
Literal Suffixes
Name Spaces
Old and New Style Functions
Operators
Order of Evaluation
Precedence
Rank
Scope
Sequence Points
Side Effects
Storage Class Specifiers
Storage Duration
Type Hierarchy
Type Qualifiers
Type Specifiers
Underlying Type
Complex Expressions
Essential Type
Composite Expressions
Dataflow Analysis Issues
Interpreting Dataflow Analysis Messages
Invariant Expressions
False Positives and False Negatives
References