1. 1

An automated bounds analysis that worked on 90+% of loops in a real product with 670,000 lines of code. The technique is also flexible enough for several types of analysis.

  1.