2008 LLVM Developers Meeting - Finding Bugs with the Clang Static Analyzer - 4 of 5

The Clang Static Analyzer is a standalone tool that find bugs in C and Objective-C programs. The analyzer is 100% open source and part of the Clang project (a new C/Objective-C/C++ frontend for LLVM). Although still very early in its development, the tool has been effective at finding thousands of bugs in real-world C and Objective-C programs. This talk presents a high-level overview of the goals, implementation, and current status of the tool.

Talk by Ted Kremenek