一种改进的指针安全分析算法

一种改进的指针安全分析算法 An Improved Pointer Safe Analysis Algorithm 郭曦 GUO Xi1 1 2 first-author 何炎祥 HE Yanxiang1 1 张焕国 ZHANG Huanguo1 1 2 胡颖 HU Ying1 1 2 加米拉·沙塔尔 Jamila-Sattar1 1 3 武汉大学计算机学院 武汉大学计算机学院 School of Computer,Wuhan University School of Computer,Wuhan University 武汉大学空天信息安全与可信计算教育部重点实验室 武汉大学空天信息安全与可信计算教育部重点实验室 Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education,Wuhan University Key Laboratory of Aerospace Information Security and Trusted Computing of Ministry of Education,Wuhan University 新疆维吾尔自治区民族语言文字工作委员会 新疆维吾尔自治区民族语言文字工作委员会 Xinjiang Uygur Autonomous Regional Working Committee of Minorities Language and Writing Xinjiang Uygur Autonomous Regional Working Committee of Minorities Language and Writing 指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度. The safety of pointer is quite common in C programs,which affects the safety of a system enormously.The paper focuses the precision of the pointer static analysis,and presents an analysis of the current algorithms,and then proposes an improved pointer static analysis algorithm.Based on the Steensgaard algorithm,the control flow graph is improved,through which a more precise result of pointer analysis is obtained.The result is more precise than the current flow-insensitive pointer analysis.The algorithm is implemented in the compiler,which is the first commercial compiler developed in our lab.The results indicate that the algorithm can improve the precision of pointer analysis. 指针安全 数据流分析 Steensgaard算法 精度 pointer safety data-flow analysis Steensgaard algorithm precision 10.14188/j.1671-8836.2010.02.015 TP312.1 国家高技术研究发展计划（863）项目（2007AA01Z411,2006AA01Z442）;国家自然科学基金资助项目（60673071,60970116）;空天信息安全与可信计算教育部重点实验室开放基金资助项目（AISTC2008-01,AISTC2008Q02）;湖北省自然科学基金资助重点项目（2008CDA007） 2010-02-01 2021-04-01 2 56