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