|
|||||
|
|
| 一种改进的指针安全分析算法 | |
| 引用本文： | 郭曦,何炎祥,张焕国,胡颖,加米拉·沙塔尔. 一种改进的指针安全分析算法[J]. 武汉大学学报(理学版), 2010, 56(2) |
| 作者姓名： | 郭曦 何炎祥 张焕国 胡颖 加米拉·沙塔尔 |
| 作者单位： | 1. 武汉大学,计算机学院,湖北,武汉,430072;武汉大学,空天信息安全与可信计算教育部重点实验室,湖北,武汉,430072 2. 武汉大学,计算机学院,湖北,武汉,430072 3. 武汉大学,计算机学院,湖北,武汉,430072;新疆维吾尔自治区民族语言文字工作委员会,新疆,乌鲁木齐,830001 |
| 基金项目： | 国家高技术研究发展计划(863)项目(2007AA01Z411,2006AA01Z442); 国家自然科学基金资助项目(60673071,60970116); 空天信息安全与可信计算教育部重点实验室开放基金资助项目(AISTC2008-01,AISTC2008Q02); 湖北省自然科学基金资助重点项目(2008CDA007) |
| 摘 要： | 指针的安全性是C语言程序中的常见问题,它严重影响到系统的安全性.针对指针静态分析中的精度问题,比较分析了目前常见的5种指针分析算法的优缺点,提出了一种基于流不敏感的改进指针静态分析算法.该算法是在Steensgaard算法的基础上,对程序的控制流图进行改进,通过该算法可以得到比常见的数据流不敏感算法更为精确的指针分析结果.在实验室开发的国内首款商用编译器中实现了该算法,实验结果表明该算法可以提高指针分析的精度. |
| 关 键 词： | 指针安全 数据流分析 Steensgaard算法 精度 |
An Improved Pointer Safe Analysis Algorithm |
|
| GUO Xi,HE Yanxiang,ZHANG Huanguo,HU Ying,Jamila-Sattar. An Improved Pointer Safe Analysis Algorithm[J]. JOurnal of Wuhan University:Natural Science Edition, 2010, 56(2) | |
| Authors: | GUO Xi HE Yanxiang ZHANG Huanguo HU Ying Jamila-Sattar |
| Affiliation: | GUO Xi1,2,HE Yanxiang1,ZHANG Huanguo1,HU Ying1,Jamila-Sattar1,3(1.School of Computer,Wuhan University,Wuhan 430072,Hubei,China,2.Key Laboratory of Aerospace Information Security , Trusted Computing of Ministry of Education,3.Xinjiang Uygur Autonomous Regional Working Committee of Minorities Language , Writing,Urumqi 830001,Xinjiang,China) |
| Abstract: | 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 i... |
| Keywords: | pointer safety data-flow analysis Steensgaard algorithm precision |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |