soot.jimple.toolkits.annotation.arraycheck
Classes 
ArrayBoundsChecker
ClassFieldAnalysis
RectangularArrayFinder