63 строки
831 B
Plaintext
63 строки
831 B
Plaintext
|
/// Make sure of_device_id tables are NULL terminated
|
||
|
//
|
||
|
// Keywords: of_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 arr[] = {
|
||
|
...,
|
||
|
{
|
||
|
.var = E,
|
||
|
* }
|
||
|
};
|
||
|
|
||
|
@depends on patch@
|
||
|
identifier var, arr;
|
||
|
expression E;
|
||
|
@@
|
||
|
struct of_device_id arr[] = {
|
||
|
...,
|
||
|
{
|
||
|
.var = E,
|
||
|
- }
|
||
|
+ },
|
||
|
+ { }
|
||
|
};
|
||
|
|
||
|
@r depends on org || report@
|
||
|
position p1;
|
||
|
identifier var, arr;
|
||
|
expression E;
|
||
|
@@
|
||
|
struct of_device_id arr[] = {
|
||
|
...,
|
||
|
{
|
||
|
.var = 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)
|