alias analysis

两个指针/对象是否可能指向同一个对象/地址。

通常和pointer analysis混用

Related

• 程序分析