12 static void func (void)
43 d
= malloc(sizeof(*d
));
52 * check-name: Null Dereferences
53 * check-command: smatch sm_null_deref.c
56 sm_null_deref.c +18 func(6) Dereferencing Undefined: 'aa'
57 sm_null_deref.c +23 func(11) Dereferencing Undefined: 'a'
58 sm_null_deref.c +30 func(18) Dereferencing Undefined: 'b'
59 sm_null_deref.c +48 func(36) Dereferencing Undefined: 'd'