Name	Size	Mode	Actions
array_size.cocci	1696	0644	editdlrm
badty.cocci	1722	0644	editdlrm
boolconv.cocci	1472	0644	editdlrm
boolinit.cocci	2249	0644	editdlrm
boolreturn.cocci	698	0644	editdlrm
bugon.cocci	1482	0644	editdlrm
cond_no_effect.cocci	2088	0644	editdlrm
cstptr.cocci	827	0644	editdlrm
doubleinit.cocci	1391	0644	editdlrm
ifaddr.cocci	659	0644	editdlrm
ifcol.cocci	1241	0644	editdlrm
irqf_oneshot.cocci	1951	0644	editdlrm
newline_in_nl_msg.cocci	1650	0644	editdlrm
noderef.cocci	1194	0644	editdlrm
of_table.cocci	1366	0644	editdlrm
orplus.cocci	1028	0644	editdlrm
returnvar.cocci	1253	0644	editdlrm
semicolon.cocci	1062	0644	editdlrm
warn.cocci	1661	0644	editdlrm

/// The address of a variable or field is likely always to be non-zero. /// // Confidence: High // Copyright: (C) 2012 Julia Lawall, INRIA/LIP6. GPLv2. // Copyright: (C) 2012 Gilles Muller, INRIA/LiP6. GPLv2. // URL: http://coccinelle.lip6.fr/ // Comments: // Options: --no-includes --include-headers virtual org virtual report virtual context @r@ expression x; statement S1,S2; position p; @@ *if@p (&x) S1 else S2 @script:python depends on org@ p << r.p; @@ cocci.print_main("test of a variable/field address",p) @script:python depends on report@ p << r.p; @@ msg = "ERROR: test of a variable/field address" coccilib.report.print_report(p[0],msg)