| Class | Description |
|---|---|
| IndexAbstractTransfer |
This class provides methods shared by the Index Checker's internal checkers in their transfer
functions.
|
| IndexChecker |
A type checker for preventing out-of-bounds accesses on fixed-length sequences, such as arrays
and strings.
|
| IndexMethodIdentifier |
This class stores information about interesting methods and allows its clients to query it to
determine if a method belongs to a particular class.
|
| IndexRefinementInfo |
This struct contains all of the information that the refinement functions need.
|
| IndexUtil |
A collection of utility functions used by several Index Checker subcheckers.
|
| OffsetDependentTypesHelper |
Dependent type helper for array offset expressions.
|
| Subsequence |
Holds information from
HasSubsequence annotations. |