一种基于上下文的精简控制流图方法的研究.docVIP

一种基于上下文的精简控制流图方法的研究 李金诺淤LI Jin-nuo曰陆育锋淤、LU Yu-feng曰汤云杰于TANG Yun-jie曰 张开元盂榆ZHANG Kai-yuan (淤中国石油勘探开发研究院丙北分院，兰州730050;于北京清华长 庚医院信息管理处，北京102218;盂丙安交通大学，丙安710049;榆丙安电子 科技大学，丙安710071) (淤 Research Institute of Petroleum Exploration amp; Development-Northwest(NWGI) PetroChina, Lanzhou 730050，China； 于 Information Management Department of Beijing TsingHua ChangGung Hospital，Beijing 102218，China； 盂 Xian Jiaotong University, Xian 710049, China； 榆 Xidian University, Xian 710071，China) 摘要：很多静态代码分析的方法都以控制流图作为基础，木文采用一种 加入上下文的基于约束的分析技术k-CFA并使用不动点算法求出约束集的最小 解并牛.成控制流图，比0-CFA,加入数据流的约束分析更精确地约减不可达分支， 生成较少冗余的控制流图。