15-411 Compiler Design
Lecture 24: Alias Analysis

Reading: Ch 17.5, Ch 12.2-12.5 of A. Aho, M. Lam, R. Sethi, J. Ullman:
Compilers, Principals, Techniques, and Tools, 2nd ed., Addison-Wesley, 2007
(also knows as the ``dragon book'', second edition), CMU-only access
Video: 15411f07 - Lecture 24
Concepts:
- Available memory expressions
- May-point-to relation
- May-alias relation
- Type-based alias analysis
- Interprocedural analysis
- Allocation sites as alias classes
Previous lecture: Compiling to C
Next lecture: Array Bounds Checks