Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned

Christophe JAILLET <[email protected]> Thu, 26 May 2022 12:30:05 +0200
Newsgroups org.kernel.vger.smatch
Message-ID <[email protected]>
Le 26/05/2022 à 11:51, Dan Carpenter a écrit :
>
>> All I know is that it seams to work for me, even if it has not detected any
>> issue yet :) (compiling takes SO MUCH time on my machine)
> Yeah. :/  How big is your smatch_db.sqlite file?

I don't use any up-to-now. I just have a limited and basic usage of smatch.
In fact I'm just starting to learn how it works and how I could use it 
to implement my own checks.
And while at it, I send patches about small things I spot here and there.

> I have been trying to speed things up on my system these past two weeks.

:)

CJ

>
> regards,
> dan carpenter
>