Scalable propagation-based methods for call graph construction

摘要

A program storage device, readably by a machine, tangibly embodying instructions to perform method steps for constructing a call graph whereby for each method M, a set of types S_M of objects that may occur in method M is determined for each field F, a set of types S_F of objects is determined that may be stored in field F, the method comprising: determining the allocation sites inside the body of method M; determining the set of directly called methods M' inside the body of method M; and determining the set of virtually called methods M'' inside the body of method M.