Computation of Alias Sets from Shape Graphs for Comparison of Shape Analysis Precision | IEEE Conference Publication | IEEE Xplore