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