Re: [PATCH] mm/sl[aou]b: make kfree() aware of error pointers

From: Dan Carpenter
Date: Wed Sep 10 2014 - 02:37:15 EST


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@xxxxxxx> 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
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/