An implementation of Sparse Conditional Constant propagation for SSI form, extended to do predicated optimizations. Removes many null-pointer and array-bounds checks inserted due to Java semantics.

Related Documentation

For further information, see: @author C. Scott Ananian @see "Master's Thesis on SPTC"