coccinelle/null/deref_null.cocci

21 expression E;
26  (E != NULL && ...) ? <+...E->f@p1...+> : ...
29 expression E;
35   (E != NULL) && ... && <+...E->f@p2...+>
37   (E == NULL) || ... || <+...E->f@p2...+>
39  sizeof(<+...E->f@p2...+>)
43 expression *E;
48 if@p1 ((E == NULL && ...) || ...) S1 else S2
53 expression subE <= ifm.E;
54 expression *ifm.E;
63 if@p1 ((E == NULL && ...) || ...)
85  E->f@p // bad use
95 x << ifm.E;
105 x << ifm.E;
114 expression subE <= ifm.E;
115 expression *ifm.E;
124 if@p1 ((E == NULL && ...) || ...)
146  E->f@p // bad use
155 x << ifm.E;
164 x << ifm.E;
174 expression subE <= ifm.E;
175 expression *ifm.E;
184 if@p1 ((E == NULL && ...) || ...)
206 * E->f@p // bad use
217 expression E;
222  (E != NULL && ...) ? <+...E->f@p1...+> : ...
225 expression E;
231   (E != NULL) && ... && <+...E->f@p2...+>
233   (E == NULL) || ... || <+...E->f@p2...+>
235  sizeof(<+...E->f@p2...+>)
239 expression *E;
244 if@p1 ((E == NULL && ...) || ...) S1 else S2
247 expression subE <= ifm1.E;
248 expression *ifm1.E;
257 if@p1 ((E == NULL && ...) || ...)
279 * E->f@p // bad use