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?
2. What repo do I use to submit? is it git://repo.or.cz/smatch.gi
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?
Thx in advance.
Best
[1] https://git.kernel.org/pub/scm/linux/kernel/git/joel.granados/linux.git/log/?h=jag/sysctl_remset
[2] https://lore.kernel.org/all/f95b7489-8654-435c-bc74-da1eac479fba@kadam.mountain/
--
Joel Granados
