动态内存错误的静态检测
文献类型：期刊论文
| 作者 | 张广梅; 李晓维 |
| 刊名 | 计算机辅助设计与图形学学报
 |
| 出版日期 | 2005 |
| 卷号 | 17期号:3 |
| 关键词 | 动态内存错误 路径别名分析 稀疏控制流图 程序调用图 |
| 英文摘要 | 内存泄漏、空指针引用等动态内存错误在C,C++等支持动态内存操作的程序中普遍存在.在程序中,动态内存管理错误是导致动态内存错误的根本原因.动态内存错误的静态检测方法是在对程序进行静态分析的基础上,应用路径别名分析方法,确定动态内存变量之间存在的过程内和过程间的路径别名关系,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析,以确定程序中存在的动态内存错误. |
| 语种 | 中文 |
| 公开日期 | 2010-11-23 |
| 源URL | [http://ictir.ict.ac.cn/handle/311040/938]  |
| 专题 | 中国科学院计算技术研究所期刊论文_2005年中文 |
| 推荐引用方式 GB/T 7714 | 张广梅,李晓维. 动态内存错误的静态检测[J]. 计算机辅助设计与图形学学报,2005,17(3). |
| APA | 张广梅,&李晓维.(2005).动态内存错误的静态检测.计算机辅助设计与图形学学报,17(3). |
| MLA | 张广梅,et al."动态内存错误的静态检测".计算机辅助设计与图形学学报 17.3(2005). |
入库方式： OAI收割
来源：计算技术研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。