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

过程间的空指针引用故障静态检测方法

张冠楠  宫云战  金大海  
【摘要】:空指针引用的错误在C++程序中普遍存在,面向故障的静态测试方法应该很好地针对这种故障模式。然而已有的一些静态测试方法大多着重于过程内,许多通过函数参数或者返回值进行传递的指针由于函数间分析的复杂性导致其检测相对困难。提出了一种以函数摘要做基础进行函数间分析、同时利用状态机对函数间的空指针引用错误进行检测的方法。同时,过程内利用了路径敏感的特性减少了误报。

【相似文献】
中国期刊全文数据库 前10条
1 林景东;;浅谈放大电路的分析方法[J];中国科技信息;2011年15期
2 彭继慎;高爽;孟祥海;;三维螺旋极板电容传感器的静态分析与设计[J];电子元件与材料;2011年07期
3 陈锦富;张超;卢炎生;王环环;;构件栈缓冲区溢出漏洞检测系统的设计与实现[J];山东大学学报(理学版);2011年09期
4 金大海;宫云战;杨朝红;肖庆;;运行时异常对软件静态测试的影响研究[J];计算机学报;2011年06期
5 李小花;孙建华;陈浩;;程序分析技术在SQL注入防御中的应用研究[J];小型微型计算机系统;2011年06期
6 梁洪亮;;恶意软件及分析[J];保密科学技术;2010年03期
7 高春风;赵建军;;基于执行序列的程序时间复杂度分析[J];计算机工程与设计;2011年08期
8 崔展齐;王林章;李宣东;;一种目标制导的混合执行测试方法[J];计算机学报;2011年06期
9 刘春燕;赖晓晨;周宽久;郑红波;;基于关系语法树的C/C++代码静态检测方法研究[J];计算机工程与设计;2011年08期
10 赵云山;宫云战;刘莉;肖庆;杨朝红;;提高路径敏感缺陷检测方法的效率及精度研究[J];计算机学报;2011年06期
中国重要会议论文全文数据库 前10条
1 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
2 王晓光;;投资方案静态分析方法的改进[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
3 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
4 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
5 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
6 苏娟;杜普选;崔欣;姜道勇;;铁路FSK信号静态分析系统研究[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
7 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
8 肖庆;杨朝红;毕学军;;基于静态分析的面向故障测试方法[A];第四届中国测试学术会议论文集[C];2006年
9 黄勇;李显方;;圆柱形梁弯曲和横向振动的精确分析[A];中国力学学会学术大会'2009论文摘要集[C];2009年
10 谢占功;李积彬;罗飞;阳宁;;深海潜水泵轴系的有限元分析研究[A];2009海峡两岸机械科技论坛论文集[C];2009年
中国重要报纸全文数据库 前10条
1 河北省石安高速公路管理处 高靖;企业偿债能力分析中存在的问题及对策[N];河北经济日报;2008年
2 通讯员 李克彬 庆华 王彪;市地税部门纳税评估获双赢[N];咸宁日报;2006年
3 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2008年
4 博乐市建明建筑安装工程有限责任公司 谭光俊;投标报价的分析方法[N];博尔塔拉报;2007年
5 樵世稳;山阳开展工业“质量效益年”活动[N];商洛日报;2008年
6 国泰君安 李质仙;纺织服装谨慎看待利好带来的影响[N];上海证券报;2008年
7 石兴华 王明辉;市地税局“五抓五保”促增收[N];金昌日报;2008年
8 信息产业部软件与集成电路促进中心 于明唐仕武;驶入测试“快车道”[N];计算机世界;2007年
9 罗路石;基金银丰(500058):“封转开”题材 折价率高[N];中国证券报;2007年
10 本报记者 孙珩;根据收入和旧房地段而定[N];贵阳日报;2006年
中国博士学位论文全文数据库 前10条
1 赵云山;基于符号分析的静态缺陷检测技术研究[D];北京邮电大学;2012年
2 李仁见;堆操作程序分析验证技术研究[D];国防科学技术大学;2011年
3 王祥根;自修改代码逆向分析方法研究[D];中国科学技术大学;2009年
4 夏一民;缓冲区溢出漏洞的静态检测方法研究[D];国防科学技术大学;2007年
5 杨学红;BPEL流程的故障模式及其静态分析技术的研究[D];北京邮电大学;2011年
6 肖庆;提高静态缺陷检测精度的关键技术研究[D];北京邮电大学;2012年
7 牛飞亮;制度变迁中的城镇居民收入差距分析[D];中国人民大学;2000年
8 王嘉捷;多重循环程序内存访问越界增量检测方法[D];中国科学技术大学;2009年
9 姜励;基于程序设计语言的安全降密模型研究[D];浙江大学;2008年
10 陈立前;基于区间线性抽象域的可靠浮点及非凸静态分析[D];国防科学技术大学;2010年
中国硕士学位论文全文数据库 前10条
1 史维芳;考虑非线性的雷达天馈系统稳定平台的有限元分析[D];合肥工业大学;2005年
2 曲昌荣;汽车车架的轻量化设计[D];西华大学;2006年
3 刘长国;全钢载重子午线轮胎稳态力学特性有限元分析[D];吉林大学;2006年
4 曹晋阳;构件化软件测试的静态分析及配置体系研究[D];西安理工大学;2007年
5 杨显宏;风车式空中车库的结构分析[D];西南交通大学;2005年
6 彭铁文;基于CAE技术的运动型多功能车整车结构静态与动态响应分析[D];中南大学;2004年
7 刘元林;阀口动压反馈直动式溢流阀的动态特性分析[D];辽宁工程技术大学;2005年
8 赵全亮;PZT驱动的微泵研制及特性分析[D];黑龙江大学;2006年
9 管铭;基于程序分析的软件安全漏洞检测技术研究[D];西北工业大学;2007年
10 陈新厂;大功率风力发电机组轮毂的结构强度分析及优化设计[D];重庆大学;2008年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026