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

An Improved Pointer Safe Analysis Algorithm

作　　者：郭曦[1,2] 何炎祥[1] 张焕国[1,2] 胡颖 加米拉.沙塔尔 

机构地区：[1]武汉大学计算机学院,湖北武汉430072 [2]武汉大学空天信息安全与可信计算教育部重点实验室,湖北武汉430072 [3]新疆维吾尔自治区民族语言文字工作委员会,新疆乌鲁木齐830001

出　　处：《武汉大学学报（理学版）》2010年第2期170-174,共5页Journal of Wuhan University:Natural Science Edition

基　　金：国家高技术研究发展计划(863)项目(2007AA01Z411;2006AA01Z442);国家自然科学基金资助项目(60673071;60970116);空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008-01;AISTC2008Q02);湖北省自然科学基金资助重点项目(2008CDA007)

摘　　要：指针的安全性是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算法 精度 

分 类 号：TP309[自动化与计算机技术—计算机系统结构]