clang/docs/ClangStaticAnalyzer.rst

   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/user-docs
  19    analyzer/developer-docs
  20