Push-pull constraint graph for efficient points-to analysis. - Bollu Ratnakar; Rupesh Nasre (ISMM, 2014)