Static Analysis of Programs: A Heap Centric View | IEEE Conference Publication | IEEE Xplore