| Class | Description |
|---|---|
| LowerBoundAnnotatedTypeFactory |
Implements the introduction rules for the Lower Bound Checker.
|
| LowerBoundChecker |
A type-checker for preventing arrays from being accessed with values that are too low.
|
| LowerBoundTransfer |
Implements dataflow refinement rules based on tests: <, >, ==, and their derivatives.
|
| LowerBoundVisitor |
Implements the actual checks to make sure that array accesses aren't too low.
|