| Class | Description |
|---|---|
| IndexAbstractTransfer | |
| 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.
|