Classes that carry out an analysis to determine whether or not array bounds checks are necessary.