对指针/堆引用可能指向的地址/对象进行的分析。精确进行指针分析是不可判定问题。 分类 分析算法的要点： context-sensitivity flow-sensitivity field-sensitivity heap-modeling … Related 程序分析