期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
动态内存错误的静态检测
被引量：
3
1
作者
张广梅
李晓维
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第3期400-406,共7页
内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在 在程序中 ,动态内存管理错误是导致动态内存错误的根本原因 动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确...
内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在 在程序中 ,动态内存管理错误是导致动态内存错误的根本原因 动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析 。
展开更多
关键词
动态内存错误
路径别名分析
稀疏控制流图
程序调用图
在线阅读
下载PDF
职称材料
题名
动态内存错误的静态检测
被引量：
3
1
作者
张广梅
李晓维
机构
中国科学院计算技术研究所信息网络室
出处
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005年第3期400-406,共7页
基金
国家自然科学基金重点项目 (90 2 0 70 12 )
总装备部预研究项目 (4 13 15 0 5 0 10 2 )
文摘
内存泄漏、空指针引用等动态内存错误在C ,C ++等支持动态内存操作的程序中普遍存在 在程序中 ,动态内存管理错误是导致动态内存错误的根本原因 动态内存错误的静态检测方法是在对程序进行静态分析的基础上 ,应用路径别名分析方法 ,确定动态内存变量之间存在的过程内和过程间的路径别名关系 ,在此基础上对程序中违反动态内存管理模式的动态内存操作进行分析 。
关键词
动态内存错误
路径别名分析
稀疏控制流图
程序调用图
Keywords
dynamic memory error
path alias analysis
sparse control flow graph
procedure call graph
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
动态内存错误的静态检测
张广梅
李晓维
《计算机辅助设计与图形学学报》
EI
CSCD
北大核心
2005
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
