Pointer Analysis Determine "which objects can a variable point to?" Foundation of many clients: Bug detection Security analysis Compiler optimization o Program understanding 3Pointer Analysis Determine “which objects can a variable point to?” Foundation of many clients: ◦ Bug detection ◦ Security analysis ◦ Compiler optimization ◦ Program understanding ◦ … 3