| commit | 03da4790a443ddd7f7c5acb4ecca8af419c4e5be | |
| author | Dan Carpenter <error27@gmail.com> | |
| Sun, 2 Aug 2009 07:17:30 +0000 (2 09:17 +0200) | ||
| committer | Dan Carpenter <error27@gmail.com> | |
| Sun, 2 Aug 2009 07:17:30 +0000 (2 09:17 +0200) | ||
| tree | e86c2ac9c02aa98d898e0f217388865c54d16f16 | treesnapshot (tar.gz zip) |
| parent | a1066302d408bcc49c58c86fba771a9554ab9277 | commitdiff |
Improve buffer overflow check.
With this patch smatch can now detect the buffer overflow from the
lwn article about parfait. It has a lot of false positives though
because it isn't always getting the array sizes correct.
There are some new helper functions introduced in smatch.h.
Signed-off-by: Dan Carpenter <error27@gmail.com>
With this patch smatch can now detect the buffer overflow from the
lwn article about parfait. It has a lot of false positives though
because it isn't always getting the array sizes correct.
There are some new helper functions introduced in smatch.h.
Signed-off-by: Dan Carpenter <error27@gmail.com>
| check_overflow.c | diffblobblamehistory | |
| smatch.h | diffblobblamehistory | |
| smatch_extra.c | diffblobblamehistory | |
| smatch_helper.c | diffblobblamehistory |