This package contains code to implement the "Points-To Analysis with Companion Objects" described in my whitepaper.

This pointer analysis uses companion properties of objects to obtain greater precision analyzing collections and iterators. @author C. Scott Ananian