2. User Docs

Contents:

• 2.1. Obtaining the Static Analyzer
  • 2.1.1. Building the Analyzer from Source
  • 2.1.2. [Legacy] Packaged Builds (Mac OS X)
  • 2.1.3. [Legacy] Using Packaged Builds
• 2.2. Command Line Usage: scan-build and CodeChecker
  • 2.2.1. Comparison of CodeChecker and scan-build
  • 2.2.2. scan-build
  • 2.2.3. CodeChecker
• 2.3. Running the analyzer within Xcode
  • 2.3.1. Can I use the open source analyzer builds with Xcode?
  • 2.3.2. Key features:
  • 2.3.3. Getting Started
  • 2.3.4. Using open source analyzer builds with Xcode
  • 2.3.5. Why try open source builds?
  • 2.3.6. set-xcode-analyzer
  • 2.3.7. Things to keep in mind
  • 2.3.8. Examples
• 2.4. Filing Bugs and Feature Requests
• 2.5. Cross Translation Unit (CTU) Analysis
  • 2.5.1. Overview
  • 2.5.2. PCH-based analysis
  • 2.5.3. On-demand analysis
• 2.6. Taint Analysis Configuration
  • 2.6.1. Overview
  • 2.6.2. Example configuration file
  • 2.6.3. Configuration file syntax and semantics
• 2.7. Source Annotations
  • 2.7.1. Annotations to Enhance Generic Checks
  • 2.7.2. Mac OS X API Annotations
• 2.8. FAQ and How to Deal with Common False Positives
  • 2.8.1. Custom Assertions
  • 2.8.2. Null Pointer Dereference
  • 2.8.3. Dead Store
  • 2.8.4. Unused Instance Variable
  • 2.8.5. Unlocalized String
  • 2.8.6. Dealloc in Manual Retain/Release
  • 2.8.7. Deciding Nullability
  • 2.8.8. Intentional Nullability Violation
  • 2.8.9. Ensuring Loop Body Execution
  • 2.8.10. Suppressing Specific Warnings
  • 2.8.11. Excluding Code from Analysis