majhong机论文Efficient and Precise Points-to Analysis: Modeling the Heap by Merging Equivalent Automata