| commit | 4b6a524a45564eed0ca69918b5957edaad0cc18c | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 23 Jul 2009 19:15:20 +0000 (23 22:15 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 23 Jul 2009 19:15:20 +0000 (23 22:15 +0300) | ||
| tree | d551c60c76feedee83ebc2651113434d5dd9498d | treesnapshot (tar.gz zip) |
| parent | 6c712fd1e5f840ae09c92285b80710064f53b684 | commitdiff |
add check_deref_check.c
This check prints an error when someone dereferences a variable and
then checks to make sure the variable is not null.
Signed-off-by: Dan Carpenter <error27@gmail.com>
This check prints an error when someone dereferences a variable and
then checks to make sure the variable is not null.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_deref_check.c | [new file with mode: 0644] | blob |
| smatch.c | diffblobblamehistory | |
| validation/sm_null_deref.c | diffblobblamehistory |