| Julia Lawall | 61cb48c | 2013-06-08 18:21:42 +0200 | [diff] [blame] | 1 | /// Free of a structure field |
| 2 | /// |
| 3 | // Confidence: High |
| 4 | // Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. GPLv2. |
| 5 | // URL: http://coccinelle.lip6.fr/ |
| 6 | // Comments: |
| Nicolas Palix | 93f1446 | 2013-06-20 13:10:56 +0200 | [diff] [blame] | 7 | // Options: --no-includes --include-headers |
| Julia Lawall | 61cb48c | 2013-06-08 18:21:42 +0200 | [diff] [blame] | 8 | |
| 9 | virtual org |
| 10 | virtual report |
| 11 | virtual context |
| 12 | |
| 13 | @r depends on context || report || org @ |
| 14 | expression e; |
| 15 | identifier f; |
| 16 | position p; |
| 17 | @@ |
| 18 | |
| Yann Droneaud | 6dd9379 | 2016-05-23 17:07:19 +0200 | [diff] [blame] | 19 | ( |
| Julia Lawall | 61cb48c | 2013-06-08 18:21:42 +0200 | [diff] [blame] | 20 | * kfree@p(&e->f) |
| Yann Droneaud | 6dd9379 | 2016-05-23 17:07:19 +0200 | [diff] [blame] | 21 | | |
| 22 | * kzfree@p(&e->f) |
| 23 | ) |
| Julia Lawall | 61cb48c | 2013-06-08 18:21:42 +0200 | [diff] [blame] | 24 | |
| 25 | @script:python depends on org@ |
| 26 | p << r.p; |
| 27 | @@ |
| 28 | |
| 29 | cocci.print_main("kfree",p) |
| 30 | |
| 31 | @script:python depends on report@ |
| 32 | p << r.p; |
| 33 | @@ |
| 34 | |
| Yann Droneaud | 6dd9379 | 2016-05-23 17:07:19 +0200 | [diff] [blame] | 35 | msg = "ERROR: invalid free of structure field" |
| Julia Lawall | 61cb48c | 2013-06-08 18:21:42 +0200 | [diff] [blame] | 36 | coccilib.report.print_report(p[0],msg) |