Clang Static Analyzer – Eduard Bachmakov, Linux Foundation (GSoC)

“Static analysis can be used to find semantic errors which otherwise might only show up during run-time. The Clang Static Analyzer was developed as a part of the LLVM project. Not only does the Clang Static Analyzer use the same parser and grammar as the clang compiler, but it uses the resulting Abstract Syntax Tree (AST) to do the analysis. It is also both configurable and extendable; it allows both checkers to be enabled/disabled as well as added. The LLVMLinux project has adapted Kbuild such that it will work with the Linux kernel.
After introducing and demoing the Clang Static Analyzer, this session will look at gathering ideas for custom Linux specific checkers.” http://www.linuxplumbersconf.org/2013/

source
linux foundation