tree a4d8b0ab92c6739f430bb7f43cab8988d13dda9b
parent 5c34050188f5e3db7f8137d819ecbb7d9327dd93
author Nicolas Palix <npalix@diku.dk> 1282664344 +0200
committer Michal Marek <mmarek@suse.cz> 1283247473 +0200

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>