动态内存错误的静态检测

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

一种跟踪动态内存分配错误的程序实现

嵌入式系统设计中查找内存错误是一个难题。通常有静态存储分配错误、栈上创建错误以及动态内存分配错误3种,其中动态内存分配错误的查找则更难,而且这种问题一旦发生往往会造成很坏的后果。文中针对动态内存分配错误的查找这一难题,提出了采用数据防护块进行封装的解决办法,并给出了相应的数据结构和程序实现方法。