Proposals for Kernel Summit discussions

The service Coverity provides is of course a great ressource but I would love to see someone setup a similar service using Clang's static analysis tools. I think Fujitsu has been working on making running such tests on the Linux kernel possible.

http://video.linux.com/videos/applying-clang-static-analy...

Being Open Source LLVM's set of tools would likely allow for a good fit over time. Google has been doing something similar for their Chromium codebase for a while and the results are quite impressive. They even test that their coding style is kept using Clang.

http://llvm.org/devmtg/2011-11/videos/Weber_Wennborg_Usin...