hc
2023-12-06 08f87f769b595151be1afeff53e144f543faa614
kernel/scripts/coccinelle/free/kfree.cocci
....@@ -1,3 +1,4 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
12 /// Find a use after free.
23 //# Values of variables may imply that some
34 //# execution paths are not possible, resulting in false positives.
....@@ -5,9 +6,9 @@
56 //# SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument
67 ///
78 // Confidence: Moderate
8
-// Copyright: (C) 2010-2012 Nicolas Palix. GPLv2.
9
-// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2.
10
-// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2.
9
+// Copyright: (C) 2010-2012 Nicolas Palix.
10
+// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6.
11
+// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6.
1112 // URL: http://coccinelle.lip6.fr/
1213 // Comments:
1314 // Options: --no-includes --include-headers
....@@ -23,7 +24,7 @@
2324 (
2425 * kfree@p1(E)
2526 |
26
-* kzfree@p1(E)
27
+* kfree_sensitive@p1(E)
2728 )
2829
2930 @print expression@
....@@ -67,7 +68,7 @@
6768 (
6869 * kfree@ok(E)
6970 |
70
-* kzfree@ok(E)
71
+* kfree_sensitive@ok(E)
7172 )
7273 ... when != break;
7374 when != goto l;
....@@ -85,7 +86,7 @@
8586 (
8687 * kfree@p1(E,...)
8788 |
88
-* kzfree@p1(E,...)
89
+* kfree_sensitive@p1(E,...)
8990 )
9091 ...
9192 (