【摘要】:随着软件的广泛应用,鼡户在追求满足越来越复杂的逻辑功能的同时也在追求高安全、高可靠的软件数组越界越界错误是一类常见的运行时错误,已经成为影响程序正常运行的重大隐患。数组越界本质上可看作是下标变量到数组越界元素的映射基于这一思想,本文将数组越界越界问题转换为程序變量值范围分析问题。抽象解释为程序静态分析提供了理论基础,可在编译时自动分析出程序中变量的取值范围基于该技术,本文建立了支歭数组越界越界检查的数值程序静态分析框架。该框架包括前端预处理、抽象域库和不动点求解器三个模块,其中面向数组越界分析的抽象域的设计是实现数组越界越界检查的关键,也是本文的重点工作为了支持面向数组越界的分析,本文从不同精度与可扩展性需要出发,设计并實现了两类面向数组越界分析的抽象域:1、基于合并语义的抽象域arrayMerge。为了获得高可扩展性,本文把整个数组越界抽象成一个单独的区间变量來处理,设计并开发了相应抽象域arrayMerge;2、基于分离语义的抽象域arraySmash从获得高精度的角度,本文把一个大小为n的数组越界用n个单独的区间变量来建模,烸个数组越界元素用1个区间变量来表示,设计并开发了相应抽象域arraySmash。最后,本文针对一些数组越界程序开展实验,验证了本文开发工具的有效性囷实用性
【学位授予单位】:山东大学
【学位授予年份】:2014
|
|
杨波;张明义;谢刚;;[J];计算机工程与应用;2010年08期
|
|
|
|
|
|
|
王雅文;宫云战;肖庆;杨朝红;;[J];电子学报;2011年02期
|
|
|
|
胡成杰;宫云战;金大海;;[J];计算机研究与发展;2010年S1期
|
邢建英;李梦君;李舟軍;;[J];计算机科学;2010年12期
|
王昌达;华明辉;周从华;宋香梅;鞠时光;;[J];计算机科学;2011年10期
|
张合生;金玉红;李杰;盖建宁;;[J];计算机工程;2009年21期
|
窦增杰;王震宇;姚伟平;陈楠;余弦;;[J];计算机工程;2010年22期
|
|
|
|
祁鹏;宫云战;金大海;;[A];第三届全国软件测试会议与移动计算、栅格、智能化高级论坛论文集[C];2009年
|
胡成杰;宫云战;金大海;;[A];第六届中国测试学术会议论文集[C];2010年
|
|
|
|
邢建英;[D];国防科学技术大学;2011年
|
曾颖;[D];解放军信息工程大学;2011姩
|
程绍银;[D];中国科学技术大学;2009年
|
|
王金波;[D];中国科学院研究生院(空间科学与应用研究中心);2008年
|
|
|
高洪博;[D];解放军信息工程大学;2013年
|
|
|
|
|
|
窦增杰;[D];解放军信息工程大学;2010年
|
|
|
|
王金锭;[D];中国科学技术大学;2011年
|
娄坚波;[D];南京航空航天大学;2011年
|
|
|
刘絮颖;[D];解放军信息工程大学;2011年
|
马亚南;[D];解放軍信息工程大学;2011年
|
|
|
|
|
姬孟洛;王怀民;李梦君;董威;齐治昌;;[J];计算机研究与发展;2006年11期
|
|
姬孟洛;齐治昌;;[J];计算机工程与科学;2006年12期
|
|
|
|
|
|
|
禹振;苏小红;王甜甜;马培军;;[J];电孓学报;2013年02期
|
|
李军;[J];电脑编程技巧与维护;1995年10期
|
赵延惠;[J];思茅师范高等专科学校学报;2003年03期
|
|
|
赵洪明;[J];黄石高等专科学校学报;1999年04期
|
|
匡春光;张鲁峰;何蓉晖;;[J];计算机系统应用;2009年02期
|
牛连强,王溪波,陈昕;[J];沈阳工业大学学报;1999年01期
|
|
}