"Ultra-fast Aliasing Analysis using CLA: A Million Lines of C Code in a Second."

Nevin Heintze, Olivier Tardieu (2001)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics