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

摘要：

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

关键词：数组越界、运行时验证、程序插桩

分类号：TP391(计算技术、计算机技术)

资助基金：国家自然科学基金No.61100034，No.61170043；中国博士后科学基金项目No.20110491411，No.2012T50498；江苏省博士后科研资助计划项目No.1101092C。

在线出版日期：2015-06-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：190-195,211