CHA 的分析方法（n.get() 的目标方法）：

A fundamental static analysis

• Computes which memory locations a pointer can point to

For object-oriented programs (focus on Java)

• Computes which objects a pointer (variable or field) can point to

Regarded as a may-analysis

• Computes an over-approximation of the set of objects that a pointer can point to, i.e., we ask “a pointer may point to which objects ?”

Pointer Analysis and Alias Analysis

Two closely related but different concepts

• Pointer analysis: which objects a pointer can point to ?
• Alias analysis: can two pointers point to the same object ?