| 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 arrays.
|
| 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.
|