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)
|