1=====================
2Clang Static Analyzer
3=====================
4
5The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs.
6It implements *path-sensitive*, *inter-procedural analysis* based on *symbolic execution* technique.
7
8This is the Static Analyzer documentation page.
9
10See the `Official Tool Page <https://clang-analyzer.llvm.org/>`_.
11
12.. toctree::
13   :caption: Table of Contents
14   :numbered:
15   :maxdepth: 2
16
17   analyzer/checkers
18   analyzer/user-docs
19   analyzer/developer-docs
20
21