Package soot.jimple.toolkits.annotation.arraycheck

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

Class Summary

Class	Description
Array2ndDimensionSymbol
ArrayBoundsChecker
BoundedPriorityList	BoundedPriorityList keeps a list in a priority queue.
ClassFieldAnalysis
ExtendedHashMutableDirectedGraph<N>	add skipNode method to direct all predecessor edges to successors.
RectangularArrayFinder	Interprocedural analysis to identify rectangular multi-dimension array locals.