Messages in this thread | | | Date | Wed, 10 Sep 2014 09:36:30 +0300 | From | Dan Carpenter <> | Subject | Re: [PATCH] mm/sl[aou]b: make kfree() aware of error pointers |
| |
On Tue, Sep 09, 2014 at 10:11:38PM -0700, Andrew Morton wrote: > On Wed, 10 Sep 2014 07:05:40 +0200 (CEST) Jiri Kosina <jkosina@suse.cz> wrote: > This is the sort of error which a static checker could find. I wonder > if any of them do so.
Yes. Ted asked me to add this to Smatch and that's how we found the problems in ext4. I'll push it out later this week. It won't find every single bug.
We have fixed the 8 bugs that Smatch found.
regards, dan carpenter
| |