摘要：
PA=Pointer Analysis 指针分析 Motivation CHA方法实际上没有利用足够的信息(即实际上变量可能指向的对象所从属的类的范围可以进一步缩小),会引入假的调用边 Pointer Analysis PA是一种基础的静态分析,它要回答的问题是"某个指针p的值域可能是啥" 对于OO 阅读全文
摘要：
CGC=Call Graph Construction Motivation 如果只做method内的分析，则任何包含function call的语句都需要保守分析(例如说默认不是常数) 这样是不利于进一步做优化的,因此引入Call Graph图对CFG作拓展 java call invokesta 阅读全文