| Kristof Umann | 1a17032 | 2019-02-05 00:39:33 +0000 | [diff] [blame] | 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 | |