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 alia

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?