tree 909fafb983fbeeedb3ba038ee032f73e3ff181f1
parent f853f8305bc2ab24a2f5fb24c4635c645cc7f9d1
author Nicolas Palix <npalix@diku.dk> 1275837307 +0200
committer Michal Marek <mmarek@suse.cz> 1276293629 +0200

Add scripts/coccinelle/deref_null.cocci

Add a Coccinelle file to identify the dereferences of NULL variables

This semantic patch identifies when a variable is known to be NULL
after a test, but it is still dereferenced later.

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