收藏本站
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于有限回溯符号执行的软件疑似缺陷的自动验证

程绍银  蒋凡  林锦滨  唐艳武  
【摘要】:人工方式验证包含大量误报的软件疑似缺陷集,耗时费力,难以发现真实的缺陷。本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。该方法首先查找可能的触发软件缺陷的执行路径片段,然后对其进行符号执行获得路径条件,最后结合路径条件和缺陷触发条件以进行缺陷自动验证。通过对OPENSSL程序进行缓冲区溢出类缺陷的分析,验证了方法的有效性。

知网文化
【相似文献】
中国期刊全文数据库 前10条
1 高仲仪 ,梁霞;符号执行和测试数据辅助生成的实验系统[J];北京航空航天大学学报;1988年04期
2 周孔伟,蔡经球;符号执行—介于程序验证和程序调试之间的方法[J];小型微型计算机系统;1982年04期
3 易宇;金然;;基于符号执行的内核级Rootkit静态检测[J];计算机工程与设计;2006年16期
4 刘宗田,朱逸芬;符号执行技术在68000C反编译程序中的应用[J];计算机学报;1988年10期
5 庄晓,周雄辉,阮雪榆;三维装配约束求解的解析方法[J];计算机辅助设计与图形学学报;1999年06期
6 贺钧;通过静态分析提高程序测试的效率[J];现代电子技术;2002年11期
7 李海龙,董金祥,唐敏;具有欠约束求解能力的图结构求解方法[J];计算机研究与发展;1997年S1期
8 杨宇;张健;;程序静态分析技术与工具[J];计算机科学;2004年02期
9 高晓艳 ,李宝才 ,张卫国;基于关系的变量化草图设计的约束求解[J];信息技术;1997年03期
10 王志亮,张友良,汪惠芬;协同设计中定量化约束求解方法[J];计算机辅助设计与图形学学报;2004年08期
中国重要会议论文全文数据库 前10条
1 王晓光;;投资方案静态分析方法的改进[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
2 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
3 苏娟;杜普选;崔欣;姜道勇;;铁路FSK信号静态分析系统研究[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
4 梁磊;郭阳;李暾;朱丹;;微处理器体系结构级功能验证程序自动生成技术研究[A];全国第13届计算机辅助设计与图形学(CAD/CG)学术会议论文集[C];2004年
5 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
6 王晓宇;徐拾义;;基于模块关系图的测试程序生成[A];第十届全国容错计算学术会议论文集[C];2003年
7 韩俊刚;吴为民;李暾;杜慧敏;;(A7)专题讨论2:形式验证与模拟验证[A];第四届中国测试学术会议论文集[C];2006年
8 龚飞;叶红玲;隋允康;;篮球筐的数值分析[A];北京力学会第11届学术年会论文摘要集[C];2005年
9 王应军;梅曙辉;李卓球;宋显辉;;基于ANSYS的武汉长江二桥非线性有限元分析[A];第二届湖北省力学学会青年学术研讨会论文集[C];2006年
10 闵飞炎;杨明;;基于知识的仿真模型的验证方法[A];中国系统仿真学会第五次全国会员代表大会暨2006年全国学术年会论文集[C];2006年
中国博士学位论文全文数据库 前10条
1 刘生礼;约束求解中若干关键技术的研究[D];浙江大学;2003年
2 王志亮;复杂产品敏捷化开发中若干关键决策技术的研究[D];南京理工大学;2004年
3 欧阳应秀;基于CSCW的CAD系统关键技术研究[D];浙江大学;2004年
4 戴春来;参数化设计理论的研究[D];南京航空航天大学;2002年
5 袁长峰;产品需求分析与配置设计研究[D];大连理工大学;2006年
6 董洪伟;基于标识的特征造型原型系统的研究与实现[D];南京航空航天大学;2001年
7 张永刚;约束程序语义与系统实现研究[D];吉林大学;2005年
8 牛飞亮;制度变迁中的城镇居民收入差距分析[D];中国人民大学;2000年
9 张居阳;基于约束的现代调度系统研究[D];吉林大学;2006年
10 刘刚;资源信息系统中参数化图形设计方法研究[D];中国地质大学;2004年
中国硕士学位论文全文数据库 前10条
1 徐辰;基于符号执行和约束求解的程序验证与测试工具[D];中国科学院研究生院(软件研究所);2002年
2 王晓亮;基于路径符号执行的数据相关性分析[D];中国科学院研究生院(软件研究所);2004年
3 王晓枫;语义特征造型的自动调整策略及约束求解机制的研究[D];哈尔滨理工大学;2004年
4 杨宇;基于变量关系图和符号执行的指针相关路径分析[D];中国科学院研究生院(软件研究所);2003年
5 廖常俊;基于I-DEAS的数字化工厂研究与应用[D];电子科技大学;2005年
6 张娥;特大型多功能结构试验加载系统的结构设计与分析[D];北京工业大学;2005年
7 王德强;恶意代码设计和分析技术的研究与实现[D];清华大学;2005年
8 王从银;FR-Gnet网络模型及其实现方案[D];郑州大学;2004年
9 张明军;缓冲区溢出静态分析中的指针分析技术研究[D];国防科学技术大学;2004年
10 许社村;基于特征分析的缓冲区溢出发现技术研究[D];哈尔滨工业大学;2006年
中国重要报纸全文数据库 前10条
1 河北省石安高速公路管理处 高靖;企业偿债能力分析中存在的问题及对策[N];河北经济日报;2008年
2 通讯员 李克彬 庆华 王彪;市地税部门纳税评估获双赢[N];咸宁日报;2006年
3 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2007年
4 樵世稳;山阳开展工业“质量效益年”活动[N];商洛日报;2008年
5 石兴华 王明辉;市地税局“五抓五保”促增收[N];金昌日报;2008年
6 国泰君安 李质仙;纺织服装谨慎看待利好带来的影响[N];上海证券报;2008年
7 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
8 刘春尧 刘晓波;环评应引入双向论证制度[N];中国环境报;2006年
9 本报记者 孙珩;根据收入和旧房地段而定[N];贵阳日报;2006年
10 主讲人 沈明高;真的进入产能过剩时代了吗?[N];21世纪经济报道;2006年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978