There are commercial static analysis solutions that are free for open source projects. The idea of running static analysis on the Linux kernel is not new. e.g

There are commercial static analysis solutions that are free for open source projects. The idea of running static analysis on the Linux kernel is not new. e.g: http://www.coverity.com/library/pdf/linux_report.pdf http://www.coverity.com/library/pdf/linux_report.pdf However it can be seen as an opportunity to improve clang-tidy to produce fewer false positives. I've used the clang static analyzer in some of my projects and it was very useful, e.g: clang-modernize (now part of clang-tidy) is great.