| commit | a98b33c7fc8e335008644f38ba7e5c3b30ab2092 | |
| author | Dan Carpenter <error27@gmail.com> | |
| Wed, 7 Apr 2010 08:29:22 +0000 (7 11:29 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Wed, 7 Apr 2010 08:29:22 +0000 (7 11:29 +0300) | ||
| tree | 9a054d32dc22b803f5871b02b679724de9f5e954 | treesnapshot (tar.gz zip) |
| parent | 784590f50f014e7337ec6065363e5c013a7350a3 | commitdiff |
*new* freeing_null: calling free for a variable that's always NULL
This is only turned on with --spammy because it has quite a few false
positives. They are caused by loops and because smatch doesn't do
cross function analysis.
It finds quite a few places that have freeing NULL variables as part of
their error handling. Also it finds a couple bugs where the wrong variable
is freed.
Signed-off-by: Dan Carpenter <error27@gmail.com>
This is only turned on with --spammy because it has quite a few false
positives. They are caused by loops and because smatch doesn't do
cross function analysis.
It finds quite a few places that have freeing NULL variables as part of
their error handling. Also it finds a couple bugs where the wrong variable
is freed.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_freeing_null.c | [new file with mode: 0644] | blob |
| check_list.h | diffblobblamehistory |