diff options
| author | Nicolas Palix <npalix@diku.dk> | 2010-06-06 17:15:07 +0200 |
|---|---|---|
| committer | Michal Marek <mmarek@suse.cz> | 2010-06-12 00:00:29 +0200 |
| commit | 82c4340b0a3ccf090ef38fa111363018cf0594c8 (patch) | |
| tree | 909fafb983fbeeedb3ba038ee032f73e3ff181f1 /Makefile | |
| parent | f853f8305bc2ab24a2f5fb24c4635c645cc7f9d1 (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