[ 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
/
misc
/
UPLOAD:
NAME
SIZE
QUICK PERMS
ACTIONS
📄 array_size.cocci
1,696 B
SET
[ EDIT ]
|
[ DEL ]
📄 badty.cocci
1,722 B
SET
[ EDIT ]
|
[ DEL ]
📄 boolconv.cocci
1,472 B
SET
[ EDIT ]
|
[ DEL ]
📄 boolinit.cocci
2,249 B
SET
[ EDIT ]
|
[ DEL ]
📄 boolreturn.cocci
698 B
SET
[ EDIT ]
|
[ DEL ]
📄 bugon.cocci
1,482 B
SET
[ EDIT ]
|
[ DEL ]
📄 cond_no_effect.cocci
2,088 B
SET
[ EDIT ]
|
[ DEL ]
📄 cstptr.cocci
827 B
SET
[ EDIT ]
|
[ DEL ]
📄 doubleinit.cocci
1,391 B
SET
[ EDIT ]
|
[ DEL ]
📄 ifaddr.cocci
659 B
SET
[ EDIT ]
|
[ DEL ]
📄 ifcol.cocci
1,241 B
SET
[ EDIT ]
|
[ DEL ]
📄 irqf_oneshot.cocci
1,951 B
SET
[ EDIT ]
|
[ DEL ]
📄 newline_in_nl_msg.cocci
1,650 B
SET
[ EDIT ]
|
[ DEL ]
📄 noderef.cocci
1,194 B
SET
[ EDIT ]
|
[ DEL ]
📄 of_table.cocci
1,366 B
SET
[ EDIT ]
|
[ DEL ]
📄 orplus.cocci
1,028 B
SET
[ EDIT ]
|
[ DEL ]
📄 returnvar.cocci
1,253 B
SET
[ EDIT ]
|
[ DEL ]
📄 semicolon.cocci
1,062 B
SET
[ EDIT ]
|
[ DEL ]
📄 warn.cocci
1,661 B
SET
[ EDIT ]
|
[ DEL ]
DELETE SELECTED
[ CLOSE ]
EDIT: of_table.cocci
// SPDX-License-Identifier: GPL-2.0 /// Make sure (of/i2c/platform)_device_id tables are NULL terminated // // Keywords: of_table i2c_table platform_table // Confidence: Medium // Options: --include-headers virtual patch virtual context virtual org virtual report @depends on context@ identifier var, arr; expression E; @@ ( struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { ..., { .var = E, * } }; | struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { ..., * { ..., E, ... }, }; ) @depends on patch@ identifier var, arr; expression E; @@ ( struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { ..., { .var = E, - } + }, + { } }; | struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { ..., { ..., E, ... }, + { }, }; ) @r depends on org || report@ position p1; identifier var, arr; expression E; @@ ( struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { ..., { .var = E, } @p1 }; | struct \(of_device_id \| i2c_device_id \| platform_device_id\) arr[] = { ..., { ..., E, ... } @p1 }; ) @script:python depends on org@ p1 << r.p1; arr << r.arr; @@ cocci.print_main(arr,p1) @script:python depends on report@ p1 << r.p1; arr << r.arr; @@ msg = "%s is not NULL terminated at line %s" % (arr, p1[0].line) coccilib.report.print_report(p1[0],msg)