首页> 中文会议>2011年第五届中国可信计算与信息安全学术会议(CTCIS2011) >一种基于约束的指针程序路径选择方法

一种基于约束的指针程序路径选择方法

页面导航

摘要
著录项
相似文献
相关主题

摘要

动态符号执行是对程序进行安全性分析的重要技术。在动态符号执行过程中，存在着符号地址，系统调用，路径选择等问题。针对符号地址导致的别名分析问题，本文提出了一种基于约束的指针分析方法，对程序进行过程内的指向分析，并对指针分析过程引入约束条件，产生可以进行路径选择的测试用例，以提高指针分析的精度。在国内首款某型号商用编译器的开发过程中实现了该方法，实验结果表明，该方法可以准确地分析C语言测试用例，缩短用例测试的时间。

著录项

来源
《2011年第五届中国可信计算与信息安全学术会议(CTCIS2011)》|2011年|147-151|共5页
会议地点贵阳
作者
郭曦; 张焕国;
展开▼
作者单位

中国计算机学会;

展开▼
会议组织
正文语种
原文格式 PDF
中图分类安全保密;
关键词
约束求解; 静态单赋值; 符号动态执行; 指针分析; 路径选择;

相似文献

中文文献
外文文献
专利

1. 一种基于约束条件的服务选择方法 [J] . 姜鹏 ,邓攀 ,陈峰 . 计算机与数字工程 . 2008,第012期
2. 一种基于改进遗传算法的多约束QoS路由选择方法 [J] . 宋乃斌 ,高随祥 ,王营昌 . 微型机与应用 . 2005,第008期
3. 一种基于模糊评判和遗传算法的网络资源优化利用和多约束路由选择方法 [J] . 高坚 . 计算机工程与应用 . 2003,第028期
4. 一种用于指针程序验证的指针逻辑 [J] . 陈意云 ,李兆鹏 ,王志芳 . 软件学报 . 2010,第003期
5. 一种用于指针程序安全性证明的指针逻辑 [J] . 陈意云 ,华保健 ,葛琳 . 计算机学报 . 2008,第003期
6. 一种混合约束的半监督网络流量特征选择方法 [C] . LI Ping-Hong ,李平红 ,TAO Xiao-Ling . 中国计算机用户协会仿真应用分会成立三十周年庆祝大会暨2013全国仿真技术学术会议 . 2013
7. 一种用于指针程序安全性证明的指针逻辑 [A] . 华保健 . 2008

一种基于约束的指针程序路径选择方法

摘要

著录项

相似文献

相关主题

期刊订阅