All of lore.kernel.org
 help / color / mirror / Atom feed
From: Christophe JAILLET <christophe.jaillet@wanadoo.fr>
To: Dan Carpenter <dan.carpenter@oracle.com>
Cc: smatch@vger.kernel.org
Subject: Re: [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned
Date: Thu, 26 May 2022 12:30:05 +0200	[thread overview]
Message-ID: <58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr> (raw)
In-Reply-To: <20220526095154.GD2146@kadam>


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
>

  reply	other threads:[~2022-05-26 10:30 UTC|newest]

Thread overview: 9+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2022-05-26  7:15 [RFC PATCH] check_freeing_devm: Also track erroneous usage of kfree when the pointer has been re-assigned Christophe JAILLET
2022-05-26  9:51 ` Dan Carpenter
2022-05-26 10:30   ` Christophe JAILLET [this message]
2022-05-26 11:07     ` Dan Carpenter
2022-05-26 11:40       ` Marion & Christophe JAILLET
2022-05-26 12:00         ` Dan Carpenter
2022-05-26 13:37           ` Christophe JAILLET
2022-05-26 13:49             ` Dan Carpenter
2022-05-26 14:22               ` Christophe JAILLET

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=58ca2e95-4086-96f4-7c50-8206212b144b@wanadoo.fr \
    --to=christophe.jaillet@wanadoo.fr \
    --cc=dan.carpenter@oracle.com \
    --cc=smatch@vger.kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body. 
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.