Clang 20.0.0git documentation
3. Developer Docs
«
2.6.
Taint Analysis Configuration
::
Contents
::
3.1.
Debug Checks
»
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)
«
2.6.
Taint Analysis Configuration
::
Contents
::
3.1.
Debug Checks
»