[cjd8]

Not a kernel veteran, but I do send patches and reviews occasionally and as mentioned in the article, Sashiko is a big help. It can detect very obscure race conditions, stack leaks and other bugs that could cause a kernel panic. It's also really good at analyzing subsystem-specific nuances (in the IIO subsystem for example, it can get chip parameters from a datasheet and actually check whether the code reflects it correctly, e. g. with timing).

[fred_is_fred]

What percentage of those would be non-issues if the kernel used a different language?

[cjd8]

Hard to say, different language - different problems. Nevertheless Sashiko gets the big picture and its main concerns are race conditions, bad register mapping etc., issues that concern C code style are minimal (at least in the patches I write haha)