From: Nicolas Palix Date: Tue, 24 Aug 2010 15:39:04 +0000 (+0200) Subject: Coccinelle: Add free/kfree.cocci X-Git-Tag: v2.6.37-rc1~50^2~30 X-Git-Url: http://git.openpandora.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=43ba21b57a3e757000bfa8ccf46c81f232b4d881;p=pandora-kernel.git 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 Signed-off-by: Julia Lawall Signed-off-by: Michal Marek --- Reading git-diff-tree failed