Package soot.jimple.toolkits.annotation.arraycheck

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

See:
Description

Class Summary

Array2ndDimensionSymbol
ArrayBoundsChecker
BoundedPriorityList	BoundedPriorityList keeps a list in a priority queue.
ClassFieldAnalysis
RectangularArrayFinder	Interprocedural analysis to identify rectangular multi-dimension array locals.

Package soot.jimple.toolkits.annotation.arraycheck Description

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