Alias analysis
From Wikipedia, the free encyclopedia
Alias analysis is a technique in compiler theory, used to determine if a storage location may be accessed in more than one way. Two pointers are said to be aliased if they point to the same location. Alias analyses are usually classified by flow-insensitivity and context-sensitivity. They may determine may-alias or must-alias information. Term alias analysis is often used interchangeably with term points-to analysis, its specific case.
