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

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/[email protected]/
-- 

Joel Granados