3. Developer Docs

Contents:

• 3.1. Debug Checks
  • 3.1.1. General Analysis Dumpers
  • 3.1.2. Path Tracking
  • 3.1.3. State Checking
  • 3.1.4. Statistics
  • 3.1.5. Output testing checkers
• 3.2. Inlining
  • 3.2.1. c++-inlining
  • 3.2.2. Basics of Implementation
• 3.3. Initializer List
• 3.4. Nullability Checks
  • 3.4.1. Inlining
  • 3.4.2. Annotations on multi level pointers
  • 3.4.3. Implementation notes
• 3.5. Region Store
  • 3.5.1. Binding Invalidation
  • 3.5.2. ObjCIvarRegions
  • 3.5.3. Region Invalidation
  • 3.5.4. Default Bindings
  • 3.5.5. Lazy Bindings (LazyCompoundVal)
• 3.6. Performance Investigation
  • 3.6.1. Performance analysis using -ftime-trace
  • 3.6.2. Performance analysis using perf
  • 3.6.3. Performance analysis using uftrace
• 3.7. Analysis Statistics