2 Commits

Author	SHA1	Message	Date
Nicolas Palix	e90f659021	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>	2010-10-13 14:26:06 +02:00
Nicolas Palix	43ba21b57a	Coccinelle: Add free/kfree.cocci ... 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>	2010-08-31 11:37:53 +02:00