Alias analysis is a technique used in compiler theory to determine if a storage location can be accessed in multiple ways. It involves determining if two pointers point to the same location. Alias analysis techniques can be flow-sensitive or context-sensitive and can provide may-alias or must-alias information. Alias analysis is often referred to as points-to analysis. Its purpose is to compute useful information for understanding aliasing in programs.
Carnegie Mellon University
Fall 2020
Comprehensive study of compiler design and implementation, examining interaction between language design and runtime organization. Topics include program analysis, code generation, optimization, memory management.
No concepts data
+ 21 more concepts