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. Obtaining the Static Analyzer
  • 2.2. Command Line Usage: scan-build and CodeChecker
  • 2.3. Running the analyzer within Xcode
  • 2.4. Filing Bugs and Feature Requests
  • 2.5. Cross Translation Unit (CTU) Analysis
  • 2.6. Taint Analysis Configuration
  • 2.7. Source Annotations
  • 2.8. 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