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