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