In this video, we talk about Andersen's Pointer Analysis. We explain how it can be modeled as a constraint system with conditional constraints, and thus can be solved using the same graph-based algorithms seen in the class on Control Flow Analysis.
No download links available.
