Applying Clang Static Analyzer to Linux Kernel
Hiroo Matsumoto from Fujitsu talks about the Clang C/C++/Objective-C development tool, which is used in FreeBSD, MacOS and iOS. Clang has facility of static analysis with parser tree. e.g. malloc/free checker, out-of-bound checker and etc. Clang provides API for static analysis, so that we can add certain customize code like a register/unregister checker. This presentation will describe how to apply Clang Static Analyzer to Linux Kernel, and will demonstrate analyzing Linux Kernel with it.