Is a theoretically hard problem. Idk why these statements keep getting made.

Maybe I am misunderstanding? Don’t you have to solve inter-procedural pointer aliasing first?