Linux系统调用引发的内存错误检测

摘要：

内存错误是指计算机程序对内存读取与写入、分配与释放、内存泄露等与内存有关的错误,对程序的可靠性有着非常重要的影响.一旦程序在运行期间发生内存错误,则可能导致错误的运算结果或者程序异常退出.对于Linux内核来讲,内存错误带来的后果可能更加严重,甚至可以直接造成系统崩溃;所以主要针对Linux内核中可能发生的内存错误进行分析研究,开发了相应的检测工具.检测工具是在S2E的基础上开发的,融合了动态分析、符号执行、具体执行、全系统模拟等技术,可以用于检测Linux系统调用所能引发的内存分配和内存使用有关的错误.

关键词： 计算机程序 内存错误 系统调用 分配策略

作者: 徐永健 陈渝 王丹 肖奇学

作者单位: 北京工业大学计算机学院,北京,100124;清华大学计算机科学与技术系,北京,100084 清华大学计算机科学与技术系,北京,100084 北京工业大学计算机学院,北京,100124

会议类型: 国内会议

会议名称: 第一届开源操作系统设计与分析学术会议

会议地点: 北京

会议语种:中文

页码: 8-13

在线出版日期: 2013-09-14（万方平台首次上网日期，不代表论文的发表时间）