基于有限状态机的指针解引用静态检测方法
为了产生高质量和高可靠性代码,提出一种指针解引用静态检测方法,该方法给出了指针状态转换的有限状态机定义。通过对源代码进行语义分析,得到指针指向信息,建立指针与内存单元之间的映射关系,并根据有限状态机中的指针状态判断指针解引用是否合法。本方法不仅记录了变量的作用域和指针集,还分析了指针的确定指向和可能指向,并对部分控制块采取延迟写入指向的方法,提高了指针解引用分析的精度,同时还可以检测内存释放异常的问题。实验结果表明该方法能有效检测非法指针解引用和内存释放异常。
有限状态机、指针解引用、指针状态、延迟写入、内存释放异常
43
TP302.8(计算技术、计算机技术)
国家核高基重大专项资助项目2009ZX01039-003-001-002;国家自然科学基金面上资助项目60973016;电子科技大学中央高校基本科研业务费专项资金资助项目ZYGX2009J062
2012-04-21(万方平台首次上网日期,不代表论文的发表时间)
135-142