C程序内存安全的运行时检测方法研究和实现

• 作者: 严俊琦 陈哲 黄志球
• 来源期刊: 小型微型计算机系统
• 学科: 工学
• 关键词: 运行时验证 缓冲区溢出 时间内存安全 空间内存安全 基于指针
• 年，卷（期）: 2017,（10）
• 所属期刊栏目: 计算机软件与数据库研究
• 页码范围: 2358-2362
• 页数: 5页
• 分类号: TP309
• 字数: 5799字
• 语种: 中文

摘要

随着软件规模的不断增大,如何保证软件的可靠性和安全性成为学术界和工业界越来越关注的问题.然而由于C语言自身缺乏边界检测的机制,使得它不能确保软件的可靠性与安全性.当前的检测方法都或多或少存在问题,如不兼容、不完整等.设计了一种完整的C程序内存安全的运行时检测方法,能确保C程序的时间内存安全和空间内存安全.本文是采用基于指针方法,并且借助开源编译器clang实现了确保C程序内存安全的运行时验证工具TASSafe.通过实验证明我们的工具是有效并且是高效的.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	陈哲	南京航空航天大学计算机科学与技术学院	25	189	7.0	13.0
4	严俊琦	南京航空航天大学计算机科学与技术学院	2	2	1.0	1.0