diff options
Diffstat (limited to 'scripts/coccinelle/free/kfreeaddr.cocci')
| -rw-r--r-- | scripts/coccinelle/free/kfreeaddr.cocci | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/scripts/coccinelle/free/kfreeaddr.cocci b/scripts/coccinelle/free/kfreeaddr.cocci index ce8aacc314cb..85635a36f0ac 100644 --- a/scripts/coccinelle/free/kfreeaddr.cocci +++ b/scripts/coccinelle/free/kfreeaddr.cocci @@ -1,8 +1,9 @@ +// SPDX-License-Identifier: GPL-2.0-only /// Free of a structure field /// // Confidence: High -// Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. GPLv2. -// URL: http://coccinelle.lip6.fr/ +// Copyright: (C) 2013 Julia Lawall, INRIA/LIP6. +// URL: https://coccinelle.gitlabpages.inria.fr/website // Comments: // Options: --no-includes --include-headers @@ -16,7 +17,11 @@ identifier f; position p; @@ +( * kfree@p(&e->f) +| +* kfree_sensitive@p(&e->f) +) @script:python depends on org@ p << r.p; @@ -28,5 +33,5 @@ cocci.print_main("kfree",p) p << r.p; @@ -msg = "ERROR: kfree of structure field" +msg = "ERROR: invalid free of structure field" coccilib.report.print_report(p[0],msg) |