A class for functionality common to multiple type-checkers that are used by the Index Checker.
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.
Given a Tree or other construct, this class has methods to query whether it is a particular method call.
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