reasoner/abstract/null_verifier library
Classes
- NullCheckResult
- Result of null safety verification for a single dereference.
- NullDereference
- Represents a potential null dereference location.
- NullSafetySummary
- Summary of null safety verification results.
- NullVerifier
- Null safety verifier using nullability analysis.
Enums
- DereferenceType
- Types of dereferences that can cause null pointer exceptions.