Classes that carry out an analysis to determine whether or not null pointer checks are necessary.