基于有限状态机的指针解引用静态检测方法

詹瑾瑜; 陈忠湘; 郝宗波

首页> 中文期刊> 《工程科学与技术》 >基于有限状态机的指针解引用静态检测方法

基于有限状态机的指针解引用静态检测方法

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。

著录项

来源
《工程科学与技术》 |2011年第4期|135-142|共8页
作者
詹瑾瑜; 陈忠湘; 郝宗波;
展开▼
作者单位

电子科技大学计算机科学与工程学院;

电子科技大学信息与软件工程学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类容错技术;
关键词
有限状态机; 指针解引用; 指针状态; 延迟写入; 内存释放异常;

相似文献

中文文献
外文文献
专利

1. 一种多敏感空指针引用错误的静态检测方法 [J] . 白杨 ,王蠫屏 . 中国科技论文 . 2014,第010期
2. 一种多敏感空指针引用错误的静态检测方法 [J] . 白杨 ,王瑀屏 . 中国科技论文 . 2014,第010期
3. 空指针解引用错误检测的静态方法研究 [J] . 徐厚峰 ,马晓东 . 计算机工程与科学 . 2009,第003期
4. 面向二进制程序的空指针解引用错误的检测方法 [J] . 傅玉 ,邓艺 ,孙晓山 . 计算机学报 . 2018,第003期
5. 基于CEGAR的C程序空指针解引用检测 [J] . 段钊 ,田聪 ,段振华 . 计算机研究与发展 . 2016,第001期
6. JAVA中空指针引用故障的静态检测方法 [C] . 杨睿 ,金大海 ,宫云战 . 第十四届全国容错计算学术会议 . 2011
7. 基于CEGAR的C程序空指针解引用检测 [A] . 段钊 . 2014

基于有限状态机的指针解引用静态检测方法

摘要

著录项

相似文献

相关主题

期刊订阅