C程序数组越界的运行时验证技术研究与实现

• 作者: 李文明 李绪蓉 陈哲 黄志球
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 数组越界 运行时验证 程序插桩
• 年，卷（期）: 2015,（11）
• 所属期刊栏目: 信息与信号处理
• 页码范围: 190-195,211
• 页数: 7页
• 分类号: TP391
• 字数: 7204字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1310-0053

摘要

缓存区溢出能引起非常严重的安全问题，对网络和分布式系统（如机群，网格，P2P系统等）构成严重威胁。数组越界在缓存区溢出中占据重要位置，如何检测数组越界错误是一个重要且极具意义的课题。针对该课题，给出一种对C语言数组越界进行运行时验证的方法。分析了数组越界的错误类型，根据这些类型分别研究了数组越界的运行时验证的思想；设计了基于程序插桩进行数组越界动态检测的算法，给出了该方法基于开源编译器Clang的具体实现；用实验证明了该方法是切实可行并且有效的。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄志球	南京航空航天大学计算机科学与技术学院	183	1755	20.0	33.0
2	陈哲	南京航空航天大学计算机科学与技术学院	25	189	7.0	13.0
3	李文明	南京航空航天大学计算机科学与技术学院	3	11	2.0	3.0
4	李绪蓉	南京航空航天大学计算机科学与技术学院	22	350	10.0	18.0