6 ms·
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 con
by cjd8 3mo ago
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 3mo agoWhat percentage of those would be non-issues if the kernel used a different language?
- cjd8 3mo agoHard 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)