Using clang static analyzer with the Linux kernel code

*

One Line Summary

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

Abstract

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 session will allow people to build the kernel with clang and use clang static analyzer to help find potential issues with kernel code.

Tags

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

Presentation Materials

slides

Speaker

  • Behan

    Biography

    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.