From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <smatch-owner@vger.kernel.org>
Received: from lindbergh.monkeyblade.net ([23.128.96.19]:38946 "EHLO
        lindbergh.monkeyblade.net" rhost-flags-OK-OK-OK-OK) by vger.kernel.org
        with ESMTP id S233811AbiEZKaI (ORCPT
        <rfc822;smatch@vger.kernel.org>); Thu, 26 May 2022 06:30:08 -0400
Received: from smtp.smtpout.orange.fr (smtp05.smtpout.orange.fr [80.12.242.127])
        by lindbergh.monkeyblade.net (Postfix) with ESMTPS id BAA0EC6E4A
        for <smatch@vger.kernel.org>; Thu, 26 May 2022 03:30:07 -0700 (PDT)
Message-ID: <58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr>
Date: Thu, 26 May 2022 12:30:05 +0200
MIME-Version: 1.0
Subject: Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of
 kfree when the pointer has been re-assigned
Content-Language: en-US
References: <6e88b795e1283cc306f9d009dcec70ff162943e8.1653548169.git.christophe.jaillet@wanadoo.fr>
 <20220526095154.GD2146@kadam>
From: Christophe JAILLET <christophe.jaillet@wanadoo.fr>
In-Reply-To: <20220526095154.GD2146@kadam>
Content-Type: text/plain; charset="utf-8"; format="flowed"
Content-Transfer-Encoding: 8bit
List-ID: <smatch.vger.kernel.org>
To: Dan Carpenter <dan.carpenter@oracle.com>
Cc: smatch@vger.kernel.org


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
>