动态内存错误的静态检测

Static Detection to Dynamic Memory Errors

内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在 在程序中 ,动态内存管理错误是导致动态内存错误的根本原因 动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析 。

There are many dynamic memory management errors in programs written by languages that support dynamic memory operation such as C, C++. There will be dynamic memory errors if some dynamic memory management default exists in a program. On the static analysis of programs, by using the path alias analysis discussed in this paper, the path alias relations of dynamic memory variables within a procedure and between procedures can be detected, then the alias set can be made. Under this condition, the states that disobey the dynamic memory management style can be found, and the dynamic memory errors can be detected.