期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
C语言内存安全性运行时验证技术综述
1
作者
张琦
刘一辰
《现代信息科技》
2021年第23期84-87,共4页
C语言广泛应用于嵌入式软件和系统软件的开发,它提供了更直接的底层内存控制,但却缺少对内存访问安全性的检测,导致C程序运行时可能产生内存安全性错误。当前,开发人员力求通过多种验证技术解决内存安全性错误,最常用的是运行时验证技...
C语言广泛应用于嵌入式软件和系统软件的开发,它提供了更直接的底层内存控制,但却缺少对内存访问安全性的检测,导致C程序运行时可能产生内存安全性错误。当前,开发人员力求通过多种验证技术解决内存安全性错误,最常用的是运行时验证技术。文章首先对C程序常见的内存安全性错误进行分析,然后介绍几种相关的内存分析技术,最后分别对几种常用的C程序内存安全性检测工具进行介绍和比较,为接下来的研究工作提供了方向性参考。
展开更多
关键词
C程序
内存错误
运行时验证
addresssanitizer
Movec
下载PDF
职称材料
题名
C语言内存安全性运行时验证技术综述
1
作者
张琦
刘一辰
机构
南京航空航天大学计算机科学与技术学院
出处
《现代信息科技》
2021年第23期84-87,共4页
基金
国家自然科学基金:航电系统软件可靠性的形式化验证技术研究(U1533130)。
文摘
C语言广泛应用于嵌入式软件和系统软件的开发,它提供了更直接的底层内存控制,但却缺少对内存访问安全性的检测,导致C程序运行时可能产生内存安全性错误。当前,开发人员力求通过多种验证技术解决内存安全性错误,最常用的是运行时验证技术。文章首先对C程序常见的内存安全性错误进行分析,然后介绍几种相关的内存分析技术,最后分别对几种常用的C程序内存安全性检测工具进行介绍和比较,为接下来的研究工作提供了方向性参考。
关键词
C程序
内存错误
运行时验证
addresssanitizer
Movec
Keywords
C program
memory error
runtime verification
Address Sanitizer
Movec
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
C语言内存安全性运行时验证技术综述
张琦
刘一辰
《现代信息科技》
2021
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
