Package EDU.purdue.cs.bloat.diva

Performs demand-driven induction variable analysis on a Java classfile.