Precise flow-insensitive may-alias analysis is NP-hard
Computers And Intractability A Guide To The Theory Of Np Completeness