@misc{indiciae54ef9bc81f88, title = {Structural Analysis: Shape Information via Points-To Computation}, author = {Mark Marron}, year = {2012}, url = {https://arxiv.org/abs/1201.1277}, note = {Source identifier: 1201.1277} }