Linus himself wrote a static analyzer. https://en.wikipedia.org/wiki/Sparse https://en.wikipedia.org/wiki/Sparse There are other free ones, I don't know if th

Linus himself wrote a static analyzer. https://en.wikipedia.org/wiki/Sparse https://en.wikipedia.org/wiki/Sparse There are other free ones, I don't know if they're run as a matter of course.