litmus-rt.git/scripts/coccinelle/free, branch ecrts14-pgm-final The LITMUS^RT kernel. coccinelle: semantic patch for missing iounmap 2012-02-24T23:07:11+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-01-27T20:41:27+00:00 cd0207a7bfd29016a4eeb0b0203fa900b41e4eee Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
coccinelle: semantic patch for missing clk_put 2012-02-24T23:07:11+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-01-27T20:41:26+00:00 53302c1dfa8a911b88e68634ed56fcf577037fac Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
scripts/coccinelle: improve the coverage of some semantic patches 2012-01-14T23:05:46+00:00 Julia Lawall Julia.Lawall@lip6.fr 2012-01-14T22:41:54+00:00 29a36d4dec6cf7ad72e6e3337bf954096cbbb4cf This patch ensures that all semantic patches in the scripts/coccinelle directory provide the report option. Report messages that include line numbers now have the line number preceded by "line" for easier subsequent processing. Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
This patch ensures that all semantic patches in the scripts/coccinelle
directory provide the report option.  Report messages that include line
numbers now have the line number preceded by "line" for easier subsequent
processing.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
coccinelle: semantic patches related to devm_ functions (part 2) 2012-01-14T21:40:04+00:00 Julia Lawall Julia.Lawall@lip6.fr 2011-12-27T17:28:51+00:00 fb3f8af4ff52faf9b31e6c4e8ca0b0b16332808c devm_ functions allocate memory that is to remain allocated until the device is detached. This patch checks for freeing of such memory using standard memory freeing functions. Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr> Signed-off-by: Michal Marek <mmarek@suse.cz> 
devm_ functions allocate memory that is to remain allocated until the
device is detached.  This patch checks for freeing of such memory using
standard memory freeing functions.

Signed-off-by: Julia Lawall <Julia.Lawall@lip6.fr>
Signed-off-by: Michal Marek <mmarek@suse.cz>
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>