llvm/clang/docs/ClangStaticAnalyzer.rst
Gabor Marton a23c5694fb [analyzer]Add user docs rst
Summary:
Add user documentation page. This is an empty page atm, later patches will add
the specific user documentatoins.

Reviewers: dkrupp

Subscribers: whisperity, xazax.hun, baloghadamsoftware, szepet, rnkovacs, a.sidorin, mikhail.ramalho, Szelethus, donat.nagy, gamesh411, Charusso, cfe-commits

Tags: #clang

Differential Revision: https://reviews.llvm.org/D64494

llvm-svn: 365639
2019-07-10 14:49:53 +00:00

21 lines
541 B
ReStructuredText

=====================
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