| commit | 499311b91bad1712e0e83d71ddbca91e13abd9d4 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Fri, 29 Jan 2010 08:33:12 +0000 (29 11:33 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Fri, 29 Jan 2010 08:33:12 +0000 (29 11:33 +0300) | ||
| tree | dcca3be192cc89276be09cf8c0d9d7ad6a935abd | treesnapshot (tar.gz zip) |
| parent | 7457407cb9bb89d0ce917ec5bc474491c4a87c64 | commitdiff |
add smatch_scripts/filter_kernel_deref_check.sh
The check_deref_check.c file looks for places which check for null after
a dereference. The problem is the kernel has a lot of macros which
automatically check whether a variable is non-null. This script tries to
remove the false positives which are caused by macros.
Signed-off-by: Dan Carpenter <error27@gmail.com>
The check_deref_check.c file looks for places which check for null after
a dereference. The problem is the kernel has a lot of macros which
automatically check whether a variable is non-null. This script tries to
remove the false positives which are caused by macros.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| smatch_scripts/filter_kernel_deref_check.sh | [new file with mode: 0755] | blob |