Explore the Clang Static Analyzer, a powerful tool for finding semantic errors in code, in this 50-minute conference talk from the Linux Plumbers Conference. Discover how this LLVM project component uses the same parser and grammar as the Clang compiler, leveraging the Abstract Syntax Tree (AST) for in-depth analysis. Learn about its configurability and extensibility, including the ability to enable, disable, and add custom checkers. Examine the LLVMLinux project's adaptation of Kbuild for Linux kernel compatibility. Gain insights into potential Linux-specific checkers, common issues, and practical examples. Delve into topics such as bug reports, global variables, and the challenges of path length and memory management in static analysis.
Overview
Syllabus
Introduction
Negatives
Sparse
Bugs
Path Length
UNIX API
Developers Hands
Street View
Out of Memory
What does it do
Custom analysis
Common issues
Examples
Bug reports
Global variables
LVM Linux
Taught by
Linux Plumbers Conference