Determining aliases is one of the foundamental static analysis problems, in part because the precision with which this problem is solved can affect the precision of other analyses such as live variables, available expressions, and constant propagation. Previous work has investigated the complexity of flow-sensitive alias analysis. In this article we show that precise flow- insensitive may-alias analysis is NP-hard given arbitrary levels of pointers and arbitrary pointer dereferencing.
No takes yet. Share an insight, caveat, or question.
Susan Horwitz (1997) studied this question.
Synapse has enriched 4 closely related papers on similar clinical questions. Consider them for comparative context: