404

[ Avaa Bypassed ]




Upload:

Command:

botdev@3.21.159.60: ~ $
/// 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)

Filemanager

Name Type Size Permission Actions
array_size.cocci File 1.66 KB 0644
badty.cocci File 1.68 KB 0644
boolconv.cocci File 1.44 KB 0644
boolinit.cocci File 2.2 KB 0644
boolreturn.cocci File 698 B 0644
bugon.cocci File 1.45 KB 0644
cond_no_effect.cocci File 2.04 KB 0644
cstptr.cocci File 827 B 0644
doubleinit.cocci File 1.36 KB 0644
ifaddr.cocci File 659 B 0644
ifcol.cocci File 1.21 KB 0644
irqf_oneshot.cocci File 1.91 KB 0644
noderef.cocci File 1.17 KB 0644
of_table.cocci File 1.33 KB 0644
orplus.cocci File 1 KB 0644
returnvar.cocci File 1.22 KB 0644
semicolon.cocci File 1.04 KB 0644
warn.cocci File 1.62 KB 0644