| .. | .. |
|---|
| 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 |
|---|