The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. It implements path-sensitive, inter-procedural analysis based on symbolic execution technique.
The Static Analyzer is a part of Clang; for downloading and installing Clang visit the LLVM releases page.
This is the documentation page of the Static Analyzer; there is also an old Official Tool Page which provides a short overview of features and limitations.
:caption: Table of Contents :maxdepth: 2 :numbered: analyzer/checkers analyzer/user-docs analyzer/developer-docs