mk-rootfs.sh

hc

2023-12-11 072de836f53be56a70cecf70b43ae43b7ce17376

 kernel/scripts/coccinelle/free/kfree.cocci
..
..
@@ -1,3 +1,4 @@
1
+// SPDX-License-Identifier: GPL-2.0-only
1
2
 /// Find a use after free.
2
3
 //# Values of variables may imply that some
3
4
 //# execution paths are not possible, resulting in false positives.
..
..
@@ -5,9 +6,9 @@
5
6
 //# SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument
6
7
 ///
7
8
 // 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.
11
12
 // URL: http://coccinelle.lip6.fr/
12
13
 // Comments:
13
14
 // Options: --no-includes --include-headers
..
..
@@ -23,7 +24,7 @@
23
24
 (
24
25
 * kfree@p1(E)
25
26
 |
26
-* kzfree@p1(E)
27
+* kfree_sensitive@p1(E)
27
28
 )
28
29
 
29
30
 @print expression@
..
..
@@ -67,7 +68,7 @@
67
68
 (
68
69
 * kfree@ok(E)
69
70
 |
70
-* kzfree@ok(E)
71
+* kfree_sensitive@ok(E)
71
72
 )
72
73
   ... when != break;
73
74
       when != goto l;
..
..
@@ -85,7 +86,7 @@
85
86
 (
86
87
 * kfree@p1(E,...)
87
88
 |
88
-* kzfree@p1(E,...)
89
+* kfree_sensitive@p1(E,...)
89
90
 )
90
91
 ...
91
92
 (