[ SYSTEM ]: Linux srv.persadacompanies.com 4.18.0-553.56.1.el8_10.x86_64 #1 SMP Tue Jun 10 05:00:59 EDT 2025 x86_64
[ SERVER ]: Apache | PHP: 8.4.19
[ USER ]: persadamedika | IP: 45.64.1.108
GEFORCE FILE MANAGER
/
usr
/
src
/
kernels
/
4.18.0-553.56.1.el8_10.x86_64
/
scripts
/
coccinelle
/
tests
/
UPLOAD:
NAME
SIZE
QUICK PERMS
ACTIONS
📄 doublebitand.cocci
1,127 B
SET
[ EDIT ]
|
[ DEL ]
📄 doubletest.cocci
795 B
SET
[ EDIT ]
|
[ DEL ]
📄 odd_ptr_err.cocci
2,118 B
SET
[ EDIT ]
|
[ DEL ]
📄 unsigned_lesser_than_zero.cocci
2,163 B
SET
[ EDIT ]
|
[ DEL ]
DELETE SELECTED
[ CLOSE ]
EDIT: odd_ptr_err.cocci
/// PTR_ERR should access the value just tested by IS_ERR //# There can be false positives in the patch case, where it is the call to //# IS_ERR that is wrong. /// // Confidence: High // Copyright: (C) 2012, 2015 Julia Lawall, INRIA. GPLv2. // Copyright: (C) 2012, 2015 Gilles Muller, INRIA. GPLv2. // URL: http://coccinelle.lip6.fr/ // Options: --no-includes --include-headers virtual patch virtual context virtual org virtual report @ok1 exists@ expression x,e; position p; @@ if (IS_ERR(x=e) || ...) { <... PTR_ERR@p(x) ...> } @ok2 exists@ expression x,e1,e2; position p; @@ if (IS_ERR(x) || ...) { <... ( PTR_ERR@p(\(e1 ? e2 : x\|e1 ? x : e2\)) | PTR_ERR@p(x) ) ...> } @r1 depends on patch && !context && !org && !report exists@ expression x,y; position p != {ok1.p,ok2.p}; @@ if (IS_ERR(x) || ...) { ... when any when != IS_ERR(...) ( PTR_ERR(x) | PTR_ERR@p( - y + x ) ) ... when any } // ---------------------------------------------------------------------------- @r1_context depends on !patch && (context || org || report) exists@ position p != {ok1.p,ok2.p}; expression x, y; position j0, j1; @@ if (IS_ERR@j0(x) || ...) { ... when any when != IS_ERR(...) ( PTR_ERR(x) | PTR_ERR@j1@p( y ) ) ... when any } @r1_disj depends on !patch && (context || org || report) exists@ position p != {ok1.p,ok2.p}; expression x, y; position r1_context.j0, r1_context.j1; @@ * if (IS_ERR@j0(x) || ...) { ... when any when != IS_ERR(...) * PTR_ERR@j1@p( y ) ... when any } // ---------------------------------------------------------------------------- @script:python r1_org depends on org@ j0 << r1_context.j0; j1 << r1_context.j1; @@ msg = "inconsistent IS_ERR and PTR_ERR" coccilib.org.print_todo(j0[0], msg) coccilib.org.print_link(j1[0], "") // ---------------------------------------------------------------------------- @script:python r1_report depends on report@ j0 << r1_context.j0; j1 << r1_context.j1; @@ msg = "inconsistent IS_ERR and PTR_ERR on line %s." % (j1[0].line) coccilib.report.print_report(j0[0], msg)