| 1 | ===================== |
|---|
| 2 | Clang Static Analyzer |
|---|
| 3 | ===================== |
|---|
| 4 | |
|---|
| 5 | The Clang Static Analyzer is a source code analysis tool that finds bugs in C, C++, and Objective-C programs. |
|---|
| 6 | It implements *path-sensitive*, *inter-procedural analysis* based on *symbolic execution* technique. |
|---|
| 7 | |
|---|
| 8 | This is the Static Analyzer documentation page. |
|---|
| 9 | |
|---|
| 10 | See 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/developer-docs |
|---|
| 19 | |
|---|
| 20 | |
|---|