Clang Static Analyzer — Clang 16.0.6 documentation

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

This is the Static Analyzer documentation page.

See the Official Tool Page.

Table of Contents

- 1. Available Checkers
  - 1.1. Default Checkers
  - 1.2. Experimental Checkers
  - 1.3. Debug Checkers
- 2. User Docs
  - 2.1. Cross Translation Unit (CTU) Analysis
  - 2.2. Taint Analysis Configuration
- 3. Developer Docs
  - 3.1. Debug Checks
  - 3.2. Inlining
  - 3.3. Initializer List
  - 3.4. Nullability Checks
  - 3.5. Region Store