Abstract：
内存错误是指计算机程序对内存读取与写入、分配与释放、内存泄露等与内存有关的错误，对程序的可靠性有着非常重要的影响。一旦程序在运行期间发生内存错误，则可能导致错误的运算结果或者程序异常退出。对于Linux内核来讲，内存错误带来的后果可能更加严重，甚至可以直接造成系统崩溃；所以我们主要针对Linux内核中可能发生的内存错误进行分析研究，开发了相应的检测工具。我们的检测工具是在S2E的基础上开发的，融合了动态分析、符号执行、具体执行、全系统模拟等技术，可以用于检测Linux系统调用所能引发的内存分配和内存使用有关的错误。
Keyword：
Reprint Author's Address：
Email：
Source ：
Year： 2013
Page： 8-13
Language： Chinese
Cited Count：
WoS CC Cited Count： 0
SCOPUS Cited Count：
ESI Highly Cited Papers on the List： 0 Unfold All
WanFang Cited Count： -1
Chinese Cited Count：
30 Days PV： 8
Affiliated Colleges：
