On 29/11/2023 15:10, Linus Walleij wrote: > On Wed, Nov 29, 2023 at 9:45 AM Krzysztof Kozlowski <krzk@xxxxxxxxxx> wrote: >> On 29/11/2023 09:35, Nuno Sá wrote: > >>> world. If we are now going to ask to run smatch, cocci, sparse and so on, we will >>> scare even more developers from the community... I mean, the bots are also in place >> >> This is not related to Linux at all. > > Smatch, main author Dan Carpenter By default Smatch checks regular C code and you need to enable kernel-specific tweaks. > Coccinelle, main author Julia Lawall True. > Sparse, main author Linus Torvalds Git, main author Linus Torvalds. :) Best regards, Krzysztof