Geforce File Manager

NAME	SIZE	ACTIONS
📄 array_size.cocci	1,696 B	[ EDIT ] \| [ DEL ]
📄 badty.cocci	1,722 B	[ EDIT ] \| [ DEL ]
📄 boolconv.cocci	1,472 B	[ EDIT ] \| [ DEL ]
📄 boolinit.cocci	2,249 B	[ EDIT ] \| [ DEL ]
📄 boolreturn.cocci	698 B	[ EDIT ] \| [ DEL ]
📄 bugon.cocci	1,482 B	[ EDIT ] \| [ DEL ]
📄 cond_no_effect.cocci	2,088 B	[ EDIT ] \| [ DEL ]
📄 cstptr.cocci	827 B	[ EDIT ] \| [ DEL ]
📄 doubleinit.cocci	1,391 B	[ EDIT ] \| [ DEL ]
📄 ifaddr.cocci	659 B	[ EDIT ] \| [ DEL ]
📄 ifcol.cocci	1,241 B	[ EDIT ] \| [ DEL ]
📄 irqf_oneshot.cocci	1,951 B	[ EDIT ] \| [ DEL ]
📄 newline_in_nl_msg.cocci	1,650 B	[ EDIT ] \| [ DEL ]
📄 noderef.cocci	1,194 B	[ EDIT ] \| [ DEL ]
📄 of_table.cocci	1,366 B	[ EDIT ] \| [ DEL ]
📄 orplus.cocci	1,028 B	[ EDIT ] \| [ DEL ]
📄 returnvar.cocci	1,253 B	[ EDIT ] \| [ DEL ]
📄 semicolon.cocci	1,062 B	[ EDIT ] \| [ DEL ]
📄 warn.cocci	1,661 B	[ EDIT ] \| [ DEL ]

[ CLOSE ]

EDIT: noderef.cocci

/// sizeof when applied to a pointer typed expression gives the size of
/// the pointer
///
// 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
virtual patch

@depends on patch@
expression *x;
expression f;
expression i;
type T;
@@

(
x = <+... sizeof(
- x
+ *x
   ) ...+>
|
f(...,(T)(x),...,sizeof(
- x
+ *x
   ),...)
|
f(...,sizeof(
- x
+ *x
   ),...,(T)(x),...)
|
f(...,(T)(x),...,i*sizeof(
- x
+ *x
   ),...)
|
f(...,i*sizeof(
- x
+ *x
   ),...,(T)(x),...)
)

@r depends on !patch@
expression *x;
expression f;
expression i;
position p;
type T;
@@

(
*x = <+... sizeof@p(x) ...+>
|
*f(...,(T)(x),...,sizeof@p(x),...)
|
*f(...,sizeof@p(x),...,(T)(x),...)
|
*f(...,(T)(x),...,i*sizeof@p(x),...)
|
*f(...,i*sizeof@p(x),...,(T)(x),...)
)

@script:python depends on org@
p << r.p;
@@

cocci.print_main("application of sizeof to pointer",p)

@script:python depends on report@
p << r.p;
@@

msg = "ERROR: application of sizeof to pointer"
coccilib.report.print_report(p[0],msg)