Using clang static analyzer with the Linux kernel code

Session information has not yet been published for this event.


One Line Summary

Demo of how to use the clang static analyzer with the Linux kernel code.


Static analyzers can mechanically find issues with code that would otherwise take humans a lot longer to figure out. By using a static analyzer which is built using the same technology as the compiler gives the analyzer the ability to find potentially complex cross functional bugs and other issues. This will be a demo of how developers can use the clang static analyzer to help find potential issues with kernel code.


linux, kernel, Static analysis, LLVM, Clang, clang static analyzer

Presentation Materials



  • Behan


    Behan Webster has spent two decades in diverse tech industries such as telecom, datacom, optical, and automotive writing code for a range of hardware from the very small to the very large. He has Linux experience spans kernel programming, Embedded Linux, and board bring-up. Currently Behan is the lead consultant at Converse in Code Inc, an embedded Linux engineer and project lead working on the LLVMLinux project as well as being a Trainer for The Linux Foundation.