1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
| =====================
Clang Static Analyzer
=====================
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.
This is the Static Analyzer documentation page.
See the `Official Tool Page <https://clang-analyzer.llvm.org/>`_.
.. toctree::
:caption: Table of Contents
:numbered:
:maxdepth: 2
analyzer/checkers
analyzer/user-docs
analyzer/developer-docs
|