On Tue, Jun 04, 2024 at 10:53:42AM +0300, Dan Carpenter wrote: > 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. Thx for the info. I'll post the patch once I have re-tested it. Best -- Joel Granados
