linux-toradex.git/scripts/coccinelle/free, branch v3.2.46 Linux kernel for Apalis and Colibri modules Coccinelle: Use new comment format to explain kfree.cocci 2010-10-13T12:26:06+00:00 Nicolas Palix npalix.work@gmail.com 2010-10-08T19:27:39+00:00 e90f6590219a0082618b9b6828458b1c74f37cc0 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> 
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>
Coccinelle: Add free/kfree.cocci 2010-08-31T09:37:53+00:00 Nicolas Palix npalix@diku.dk 2010-08-24T15:39:04+00:00 43ba21b57a3e757000bfa8ccf46c81f232b4d881 Find a use after free. Values of variables may imply that some execution paths are not possible, resulting in false positives. Another source of false positives are macros such as SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument Signed-off-by: Nicolas Palix <npalix@diku.dk> Signed-off-by: Julia Lawall <julia@diku.dk> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Find a use after free.  Values of variables may imply that some
execution paths are not possible, resulting in false positives.
Another source of false positives are macros such as
SCTP_DBG_OBJCNT_DEC that do not actually evaluate their argument

Signed-off-by: Nicolas Palix <npalix@diku.dk>
Signed-off-by: Julia Lawall <julia@diku.dk>
Signed-off-by: Michal Marek <mmarek@suse.cz>