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