基于Libsafe库的缓冲区溢出检测算法改进

摘要：

C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁.讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性.提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法.逐条匹配函数体指令与已知候选集指令来获取栈信息.并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索.对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析.从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性.

关键词：Libsafe库检测、栈帧指针、堆栈活动记录、指令特征码、回溯栈、哈希函数

所属期刊栏目：42

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

资助基金：国家“863”高技术研究发展计划项目基金2012AA010901;国家科技重大专项基2013ZX01029002;计算机体系结构国家重点实验室开放课题资助

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

页数：共7页

页码：382-387,424