收藏本站
《第十四届全国容错计算学术会议(CFTC'2011)论文集》2011年
收藏 | 手机打开
二维码
手机客户端打开本文

区间运算中提高循环处理精度的研究

刘莉  金大海  宫云战  
【摘要】:循环语句大量应用于程序开发中,但是在静态分析领域,对循环语句的处理还很不完善,存在着不终止和迭代不收敛等一系列问题。传统的循环处理策略所涉及的程序语义信息有限,无法应用于静态分析缺陷检测中。本文提出一种基于符号运算和抽象解释理论中Widening/Narrowing算子的循环处理方法,并将其应用于区间运算之中,以提高检测精度。本文所述方法己在缺陷检测系统(DTSGCC)中实现,对大量Linux中GCC开源工程的测试结果表明,本文提出的方法可以提高区间运算中循环处理的精度,减少潜在的误报。

【相似文献】
中国期刊全文数据库 前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];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
2 王雅文;宫云战;肖庆;杨朝红;;区间运算在软件缺陷检测中的应用[A];第五届中国测试学术会议论文集[C];2008年
3 祁鹏;宫云战;金大海;;面向故障的C++程序全局静态分析框架[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
4 王晓光;;投资方案静态分析方法的改进[A];管理科学与系统科学进展——全国青年管理科学与系统科学论文集(第4卷)[C];1997年
5 张冠楠;宫云战;金大海;;过程间的空指针引用故障静态检测方法[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
6 林锦滨;张晓菲;刘晖;;符号执行技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
7 王思岚;王雅文;宫云战;;单元覆盖测试中基于区间运算的路径选择方法[A];第十四届全国容错计算学术会议(CFTC'2011)论文集[C];2011年
8 张威;薛廷梅;卢庆龄;;软件内存泄漏缺陷分析与测试方法研究[A];第十届全国容错计算学术会议论文集[C];2003年
9 江雷;朱建平;;基于静态分析的软件安全检测技术研究[A];全国计算机安全学术交流会论文集(第二十四卷)[C];2009年
10 苏娟;杜普选;崔欣;姜道勇;;铁路FSK信号静态分析系统研究[A];'2006系统仿真技术及其应用学术交流会论文集[C];2006年
中国重要报纸全文数据库 前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