Pointer Analysis
================


Correlation Tracking for Points-To Analysis (ECOOP 2012)
^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^