Techwizz/kernel-fxtec-pro1x
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity

Coccinelle: Use new comment format to explain kfree.cocci

Browse source 
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>
This commit is contained in:
Nicolas Palix 2010-10-08 21:27:39 +02:00 committed by Michal Marek
parent 3c90841767
commit e90f659021
1 changed files with 5 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
scripts/coccinelle/free/kfree.cocci
View file

@ -1,7 +1,8 @@
/// Find a use after free. Values of variables may imply that some /// Find a use after free.
/// execution paths are not possible, resulting in false positives. //# Values of variables may imply that some
/// Another source of false positives are macros such as //# execution paths are not possible, resulting in false positives.
/// SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument //# Another source of false positives are macros such as
//# SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument
/// ///
// Confidence: Moderate // Confidence: Moderate
// Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2. // Copyright: (C) 2010 Nicolas Palix, DIKU. GPLv2.