reasoner/abstract/bounds_checker library
Classes
- ArrayAccess
- Represents an array access location in the CFG.
- BoundsChecker
- Array bounds checker using interval analysis.
- BoundsCheckResult
- Result of bounds checking for a single array access.
- BoundsCheckSummary
- Summary of bounds checking results for a function.