Page History

uninitialized-local-read

uninitialized-variable-use

Automatically detects simple violations of this rule, although it may return some false positives. It may not catch more complex violations, such as initialization within functions taking uninitialized variables as arguments. It does catch the second noncompliant code example, and can be extended to catch the first as well

UNINIT

uninitvar
uninitdata
uninitstring
uninitMemberVar
uninitStructMember

Can detect some violations of this rule when the -Wuninitialized flag is used

DF2726, DF2727, DF2728, DF2961, DF2962, DF2963, DF2966, DF2967, DF2968, DF2971, DF2972, DF2973, DF2976, DF2977, DF2978

UNINIT.HEAP.MIGHT
UNINIT.HEAP.MUST
UNINIT.STACK.ARRAY.MIGHT
UNINIT.STACK.ARRAY.MUST
UNINIT.STACK.ARRAY.PARTIAL.MUST
UNINIT.STACK.MIGHT
UNINIT.STACK.MUST

53 D, 69 D, 631 S, 652 S

Fully implemented

Avoid use before initialization

530, 603, 644, 901

Fully supported

CERT C: Rule EXP33-C

Checks for:

• Non-initialized variable
• Non-initialized pointer

Rule partially covered

uninitialized-local-read