Powered by Linux
Re: How do I make a contribution to the automatic analysis done on the kernel — Semantic Matching Tool

Re: How do I make a contribution to the automatic analysis done on the kernel

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Mon, Jun 03, 2024 at 02:28:58PM +0200, Joel Granados wrote:
> Hey Dan
> 
> I want to add an smatch check s part of a patch that I'm preparing [1].
> The check will be based on your suggestion a while back [2]. But I have
> several questions before I submit the patch:
> 
> 1. Were do I submit the patch to? Is it this mailing list?

Yes.

> 2. What repo do I use to submit? is it git://repo.or.cz/smatch.gi

Yes.  Base it on that.

> 3. I want to understand more how smatch gets run:
> 3.1 If my patch get into the smatch repo, will it just run automatically
>     from then on?
> 3.2 How are the failure communicated? is it just you sending out the
>     failures?
> 3.3 Are these checks related to 0-day?

There are a lot of people who run Smatch these days, so they'd see the
warnings.  I also run it on linux-next.  The 0-day bot also runs Smatch
but I look over the warnings and filter out false positives and
sometimes I filter out duplicate warnings for uninitialized variable
bugs.

regards,
dan carpenter





[Index of Archives]     [Linux USB Devel]     [Linux Audio Users]     [Yosemite News]     [Linux Kernel]     [Linux SCSI]     [Big List of Linux Books]

  Powered by Linux