summaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
authorNicolas Palix <npalix@diku.dk>2010-06-06 17:15:07 +0200
committerMichal Marek <mmarek@suse.cz>2010-06-12 00:00:29 +0200
commit82c4340b0a3ccf090ef38fa111363018cf0594c8 (patch)
tree909fafb983fbeeedb3ba038ee032f73e3ff181f1 /Makefile
parentf853f8305bc2ab24a2f5fb24c4635c645cc7f9d1 (diff)
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>
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions