摘要
内存相关程序错误的自动检测技术能够帮助程序员尽早发现程序中的内存相关错误,从而提高软件开发效率,增强软件运行的可靠性。探讨了采用前沿的动态二进制分析技术检测软件中与内存相关错误,为程序员定位错误位置、查找错误、消除错误原因提供准确的信息的方法,为致力于内存程序错误检测技术的研究人员提供参考。在C/C++软件中的内存错误检测实例验证了本文方法的有效性。
Automatic detection technology can help programmers to locate memory related bugs in the program as early as possible, which can improve the efficiency of software development and enhance the reliability of the software significantly. In this paper a advanced memory man- agement method based on dynamic binary detection is adopted to detect software and memory related bugs. Accurate information can be provid- ed by means of this methodology, which can help programmers to find the bug, to locate bug position, and to eliminate the cause of the bug e- ventually. The method in this paper can be a valuable reference for researchers committed to memory bug detection technology. A test example of memory bug detection in C/C ++ software verifies the validity of this method.
出处
《微型机与应用》
2016年第14期21-24,共4页
Microcomputer & Its Applications
关键词
内存自检
影子内存
静态源码分析
动态二进制分析
automatic memory detection
shadow memory
static source code analysis
dynamic binary analysis