| 基于语义抽象的内存访问错误检测 |
| |
| 引用本文： | 蒋剑琴,黄达明,曾庆凯.基于语义抽象的内存访问错误检测[J].解放军理工大学学报,2009,10(3):262-268. |
| |
| 作者姓名： | 蒋剑琴 黄达明 曾庆凯 |
| |
| 作者单位： | 南京大学,计算机软件新技术国家重点实验室,江苏,南京,210093;南京大学,计算机科学与技术系,江苏,南京,210093
|
| |
| 基金项目： | 国家自然科学基金资助项目，国家863计划资助项目，高等学校博士学科点专项科研基金资助项目 |
| |
| 摘 要： | 为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误.通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性.原型实现表明了方法的有效性.
|
| 关 键 词： | 软件安全 程序静态分析 语义抽象 内存访问错误 |
Cmad: A C memory access errors detector based on semantics abstraction |
| |
| JIANG Jian-qin,HUANG Da-ming and ZENG Qing-kai.Cmad: A C memory access errors detector based on semantics abstraction[J].Journal of PLA University of Science and Technology(Natural Science Edition),2009,10(3):262-268. |
| |
| Authors: | JIANG Jian-qin HUANG Da-ming and ZENG Qing-kai |
| |
| Institution: | 1.State Key Laboratory for Novel Software Technology;Nanjing University;Nanjing 210093;China;2.Department of Computer Science and Technology;China |
| |
| Abstract: | To dectect memory access errors by combining the efficiency of program analysis technologies and the powerful mathematical foundation of program validation technologies,Cmad,a static C memory errors Detector based on semantics abstraction was proposed.By sound approximation to concrete states,accurate verification of the related constraint variable operation and information collection during the traversal of CFG,Cmad detected inter-procedural memory bound overflow errors without any annotation.Prototype imp... |
| |
| Keywords: | software security program static analysis semantics abstraction memory access errors |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
| 点击此处可从《解放军理工大学学报》浏览原始摘要信息 |
| 点击此处可从《解放军理工大学学报》下载免费的PDF全文 |
