diff options
| author | Nicolas Palix <npalix.work@gmail.com> | 2010-10-08 15:27:39 -0400 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2010-10-13 08:26:06 -0400 |
| commit | e90f6590219a0082618b9b6828458b1c74f37cc0 (patch) | |
| tree | 070ecfc87652db9397b3b9c5aa9a18c49eb9c563 /scripts/coccinelle | |
| parent | 3c908417677f890265ff9d5efd372207cf75fd45 (diff) | |
Coccinelle: Use new comment format to explain kfree.cocci
Use new comment format to separate proposed commit message
and information about generated false positives
Signed-off-by: Nicolas Palix <npalix.work@gmail.com>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>
Diffstat (limited to 'scripts/coccinelle')
| -rw-r--r-- | scripts/coccinelle/free/kfree.cocci | 9 |
1 files changed, 5 insertions, 4 deletions
diff --git a/scripts/coccinelle/free/kfree.cocci b/scripts/coccinelle/free/kfree.cocci index c13a5395707b..f9f79d9245ee 100644 --- a/scripts/coccinelle/free/kfree.cocci +++ b/scripts/coccinelle/free/kfree.cocci | |||
| @@ -1,7 +1,8 @@ | |||
| 1 | /// Find a use after free. Values of variables may imply that some | 1 | /// Find a use after free. |
| 2 | /// execution paths are not possible, resulting in false positives. | 2 | //# Values of variables may imply that some |
| 3 | /// Another source of false positives are macros such as | 3 | //# execution paths are not possible, resulting in false positives. |
| 4 | /// SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument | 4 | //# Another source of false positives are macros such as |
| 5 | //# SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument | ||
| 5 | /// | 6 | /// |
| 6 | // Confidence: Moderate | 7 | // Confidence: Moderate |
| 7 | // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. | 8 | // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. |