Precise flow-insensitive may-alias analysis is NP-hard
Undecidability of static analysis