Version: next
- Quick Start
- User Guide
- Analyses and Issue Types
- List of all issue types
- Annotation Reachability
- Biabduction
- Buffer Overrun Analysis (InferBO)
- Config Checks between Markers
- Cost: Runtime Complexity Analysis
- Eradicate
- Fragment Retains View
- Immutable Cast
- Impurity
- Inefficient keySet Iterator
- AST Language (AL)
- Litho "Required Props"
- Liveness
- Loop Hoisting
- `printf()` Argument Types
- Pulse
- Purity
- Quandary
- RacerD
- Resource Leak Lab Exercise
- Static Initialization Order Fiasco
- Self in Block
- Starvation
- TOPL
- TOPL
- Uninitialized Value
- Foundations
- Contribute
- Versions
This is unreleased documentation for Infer next version.
For up-to-date documentation, see the latest version.