| commit | c623f1f28d8e68cf0372f249d63385ad8f5b9ffa | |
| author | Dan Carpenter <error27@gmail.com> | |
| Thu, 7 Jan 2010 12:29:23 +0000 (7 15:29 +0300) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Thu, 7 Jan 2010 12:29:23 +0000 (7 15:29 +0300) | ||
| tree | 72ba4411dcc173721ef53141ec787166ffc5159a | treesnapshot (tar.gz zip) |
| parent | e14800757936fdec7fdcfac84629ee5d0f342ea3 | commitdiff |
check offset after use: ignore foo = &array[bar];
In theory those could end up being bugs sometimes, but in my testing
on the kernel source ignoring them cut out lots of the false positives
and no actual bugs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
In theory those could end up being bugs sometimes, but in my testing
on the kernel source ignoring them cut out lots of the false positives
and no actual bugs.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_deref_check.c | diffblobblamehistory | |
| check_overflow.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory |