.. | .. |
---|
| 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 | 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 | 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 | 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 | 86 | ( |
---|
86 | 87 | * kfree@p1(E,...) |
---|
87 | 88 | | |
---|
88 | | -* kzfree@p1(E,...) |
---|
| 89 | +* kfree_sensitive@p1(E,...) |
---|
89 | 90 | ) |
---|
90 | 91 | ... |
---|
91 | 92 | ( |
---|