英文标题
Checking for Memory Bugs Caused by Linux System Calls
英文摘要
Memory bugs which include errors may occur in memory allocation and usage, have very important impact on the reliability of programs.Once a memory bug occurs in a program, it may lead to incorrect results or abnormal procedures.For the Linux kernel, memory bugs are more dangerous.They may directly cause system crashes.Therefore, our research focused on the memory bugs in Linux kernel and developed the corresponding tool.Our development based on S2E, combining dynamic analysis, symbolic execution and Full system simulation, and found memory bugs in Linux kernel.
翻译关键词
Linux
kernel
memory bug
system call
