Precise Lazy Initialization for Programs with Complex Heap Inputs | IEEE Conference Publication | IEEE Xplore