收藏本站
《第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集》2009年
收藏 | 手机打开
二维码
手机客户端打开本文

面向故障的C++程序全局静态分析框架

祁鹏  宫云战  金大海  
【摘要】:针对面向对象C++程序,通过与建立独立的类型信息及函数摘要抽象来实现递增静态分析程序属性和行为,分为全局预分析,本地分析,故障检测分析三步骤,可推广于大规模的程序分析。通过对开源项目的测试,程序能够在时间和精度都有较好的结果。由于面向对象C++语言本身的复杂性,例如别名信息,多态等以及引用外部库的问题,本框架依然有很大的改进空间。

【引证文献】
中国重要会议论文全文数据库 前2条
1 姚欣洪;宫云战;杨朝红;;一种基于代码静态分析的缓冲区溢出检测算法[A];第六届中国测试学术会议论文集[C];2010年
2 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年
【参考文献】
中国期刊全文数据库 前2条
1 肖庆;杨朝红;毕学军;;一种基于故障模式状态机的测试方法[J];北京化工大学学报(自然科学版);2007年S1期
2 李梦君;李舟军;陈火旺;;基于抽象解释理论的程序验证技术[J];软件学报;2008年01期
【共引文献】
中国期刊全文数据库 前9条
1 刘玉璇;宫云战;杨朝红;;多线程故障分析及解决方法[J];北京化工大学学报(自然科学版);2007年S1期
2 翁子盛;王宝生;林锦滨;;程序符号执行中的数组分析[J];长江大学学报(自然科学版)理工卷;2010年01期
3 王雅文;宫云战;肖庆;杨朝红;;基于抽象解释的变量值范围分析及应用[J];电子学报;2011年02期
4 胡罗凯;柴新;许庆炜;应时;;一种基于Mealy!机的语义程序验证方法[J];计算机应用研究;2012年09期
5 周丹丹;李先国;;基于静态检测工具的软件缺陷检测模型研究[J];计算机与现代化;2012年11期
6 王凯;孔祥营;;软件静态分析工具评析[J];指挥控制与仿真;2011年02期
7 杨睿;金大海;宫云战;马跃;;Java中空指针引用故障的静态检测方法[J];清华大学学报(自然科学版);2011年S1期
8 陈立前;王戟;刘万伟;;基于约束的多面体抽象域的弱接合[J];软件学报;2010年11期
9 武书彦;苏青琴;刘久富;;基于抽象解释的函数不变量正确性验证[J];微电子学与计算机;2012年10期
中国重要会议论文全文数据库 前7条
1 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 孙涛;宫云战;金大海;;一种悬挂指针故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
3 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
4 董娜;宫云战;金大海;;一种过程内及过程间数组越界故障的静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
5 胡成杰;宫云战;金大海;;Java语言基于函数摘要的全局分析静态测试方法[A];第六届中国测试学术会议论文集[C];2010年
6 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
7 杨睿;金大海;宫云战;马跃;;JAVA中空指针引用故障的静态检测方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
中国博士学位论文全文数据库 前6条
1 邢建英;程序验证关键技术研究[D];国防科学技术大学;2011年
2 曾颖;基于抽象解释的软件保护相关问题研究[D];解放军信息工程大学;2011年
3 程绍银;需求驱动的软件安全缺陷自动测试生成[D];中国科学技术大学;2009年
4 刘刚;面向领域的软件需求一致性验证方法研究[D];哈尔滨工程大学;2008年
5 王晓华;软件特征模型与测试应用研究[D];中国科学院研究生院(空间科学与应用研究中心);2009年
6 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
中国硕士学位论文全文数据库 前10条
1 郑红波;嵌入式C代码审核系统设计与实现[D];大连理工大学;2010年
2 窦增杰;可信机制逆向分析平台的设计与实现[D];解放军信息工程大学;2010年
3 叶可可;BPEL缺陷测试系统的设计和实现[D];北京邮电大学;2011年
4 孙华衿;C/C++单元自动化覆盖测试框架的研究与实现[D];北京邮电大学;2011年
5 孙涛;悬挂指针的静态检测方法研究[D];北京邮电大学;2011年
6 胡成杰;Java语言基于函数摘要的过程间静态测试方法研究[D];北京邮电大学;2011年
7 裴志强;基于缺陷模式的资源不良行为的静态检测[D];北京邮电大学;2011年
8 鲁军;基于故障注入的系统健壮性测试研究[D];南华大学;2011年
9 黄剑军;基于带权欧氏距离的壳检测与脱壳技术的研究[D];杭州电子科技大学;2009年
10 刘思聪;方面挖掘算法及其在程序理解中的应用研究[D];浙江工业大学;2010年
【同被引文献】
中国期刊全文数据库 前2条
1 肖庆;杨朝红;毕学军;;一种基于故障模式状态机的测试方法[J];北京化工大学学报(自然科学版);2007年S1期
2 李梦君;李舟军;陈火旺;;基于抽象解释理论的程序验证技术[J];软件学报;2008年01期
【相似文献】
中国期刊全文数据库 前10条
1 杨朝红;宫云战;肖庆;王雅文;;基于缺陷模式的软件测试中的区间运算应用[J];计算机辅助设计与图形学学报;2008年12期
2 杨朝红;宫云战;肖庆;王雅文;;基于软件缺陷模型的测试系统[J];北京邮电大学学报;2008年05期
3 刘玉璇;宫云战;杨朝红;;多线程故障分析及解决方法[J];北京化工大学学报(自然科学版);2007年S1期
4 张强;应用安全的研究现状与发展趋势[J];信息技术;2005年06期
5 王昌达;鞠时光;;隐通道的仿真分析[J];系统仿真学报;2006年06期
6 屈晔;张昊;;bugscam自动化静态漏洞检测的分析[J];信息安全与通信保密;2007年03期
7 覃颖;王岩;;自动化测试工具PanoramaVB的研究[J];软件导刊;2007年13期
8 王旭鹏;吉晓民;雷培;;基于COSMOSWorks的托架静态分析及结构优化[J];机械工程师;2008年08期
9 张红;刘磊;;基于控制流的Mobile Safe Ambients演算的静态分析策略[J];吉林大学学报(理学版);2008年04期
10 葛小凯;白振兴;魏剑简;张娜;;线性规划在缓冲区溢出检测中的应用研究[J];微计算机信息;2009年27期
中国重要会议论文全文数据库 前10条
1 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
3 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 裴志强;宫云战;金大海;;一种基于故障模式的过期资源重调用检测方法[A];第六届中国测试学术会议论文集[C];2010年
5 刘莉;金大海;宫云战;;区间运算中提高循环处理精度的研究[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
6 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
7 杨绣;宫云战;金大海;;一种基于静态分析的资源泄漏检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
8 朱起悦;;应用CARMES可靠性维修性工程软件进行FMEA分析[A];2007'第十二届全国可靠性物理学术讨论会论文集[C];2007年
9 邹欣;宫云战;金大海;;过程间的非法计算故障静态检测方法[A];第六届中国测试学术会议论文集[C];2010年
10 姚欣洪;宫云战;杨朝红;;一种基于代码静态分析的缓冲区溢出检测算法[A];第六届中国测试学术会议论文集[C];2010年
中国重要报纸全文数据库 前2条
1 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
2 本报记者 霍娜;源代码分析护航敏捷开发[N];中国计算机报;2009年
中国博士学位论文全文数据库 前10条
1 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
2 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
3 姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
4 陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
5 张雪松;软件迷惑技术研究[D];吉林大学;2008年
6 单美静;求解非线性实代数系统的混合算法研究[D];华东师范大学;2008年
7 王雅文;基于缺陷模式的软件测试技术研究[D];北京邮电大学;2009年
8 李红娇;安全操作系统的访问控制与实时报警[D];上海交通大学;2008年
9 董玉亮;发电设备运行与维修决策支持系统研究[D];华北电力大学(北京);2005年
10 李世胜;基于运行时的程序执行模型研究[D];中国科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 杨睿;数组空指针故障的静态测试方法与实现[D];北京邮电大学;2012年
2 祁鹏;基于函数摘要的C++程序全局静态分析研究[D];北京邮电大学;2010年
3 裴志强;基于缺陷模式的资源不良行为的静态检测[D];北京邮电大学;2011年
4 曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
5 管铭;基于程序分析的软件安全漏洞检测技术研究[D];西北工业大学;2007年
6 孙辉;嵌入式软件质量体系和软件质量自动评价系统的研究[D];东华大学;2010年
7 向文杰;基于静态分析的栈缓冲溢出漏洞自动发掘模型研究[D];电子科技大学;2007年
8 马灵春;程序理解中静态分析与抽取技术的研究及实现[D];浙江工业大学;2007年
9 郭艳;基于BPEL的Web服务组合建模工具的研究与实现[D];西北大学;2009年
10 冯斌;静态构造面向方面程序的控制流图[D];上海交通大学;2007年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026