摘要
内存泄漏、空指针引用等动态内存错误在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.
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第3期400-406,共7页
Journal of Computer-Aided Design & Computer Graphics
基金
国家自然科学基金重点项目 (90 2 0 70 12 )
总装备部预研究项目 (4 13 15 0 5 0 10 2 )
关键词
动态内存错误
路径别名分析
稀疏控制流图
程序调用图
dynamic memory error
path alias analysis
sparse control flow graph
procedure call graph