# Clang 15 documentation

## 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.

The Static Analyzer is a part of Clang; for downloading and installing Clang visit the LLVM releases page.

This is the documentation page of the Static Analyzer; there is also an old Official Tool Page which provides a short overview of features and limitations.

Table of Contents

- 1. Available Checkers
  - 1.1. Default Checkers
  - 1.2. Experimental Checkers
  - 1.3. Debug Checkers
- 2. User Docs
  - 2.1. Command Line Usage: scan-build and CodeChecker
  - 2.2. Running the analyzer within Xcode
  - 2.3. Filing Bugs and Feature Requests
  - 2.4. Cross Translation Unit (CTU) Analysis
  - 2.5. Taint Analysis Configuration
  - 2.6. Source Annotations
  - 2.7. FAQ and How to Deal with Common False Positives
- 3. Developer Docs
  - 3.1. Debug Checks
  - 3.2. Inlining
  - 3.3. Initializer List
  - 3.4. Nullability Checks
  - 3.5. Region Store
  - 3.6. Performance Investigation
  - 3.7. Analysis Statistics