https://123dok.com/in/docs/incrementalized-pointer-and-escape-analysis-cse-iitm.12012743