.. | .. |
---|
| 1 | +// SPDX-License-Identifier: GPL-2.0-only |
---|
1 | 2 | /// Find missing unlocks. This semantic match considers the specific case |
---|
2 | 3 | /// where the unlock is missing from an if branch, and there is a lock |
---|
3 | 4 | /// before the if and an unlock after the if. False positives are due to |
---|
.. | .. |
---|
6 | 7 | /// function call that releases the lock. |
---|
7 | 8 | /// |
---|
8 | 9 | // Confidence: Moderate |
---|
9 | | -// Copyright: (C) 2010-2012 Nicolas Palix. GPLv2. |
---|
10 | | -// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. GPLv2. |
---|
11 | | -// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. GPLv2. |
---|
| 10 | +// Copyright: (C) 2010-2012 Nicolas Palix. |
---|
| 11 | +// Copyright: (C) 2010-2012 Julia Lawall, INRIA/LIP6. |
---|
| 12 | +// Copyright: (C) 2010-2012 Gilles Muller, INRIA/LiP6. |
---|
12 | 13 | // URL: http://coccinelle.lip6.fr/ |
---|
13 | 14 | // Comments: |
---|
14 | 15 | // Options: --no-includes --include-headers |
---|