-
题名基于Libsafe库的缓冲区溢出检测算法改进
- 1
-
-
作者
谢汶兵
姜军
李中升
牛夏牧
-
机构
江南计算技术研究所
哈尔滨工业大学深圳研究生院
-
出处
《计算机科学》
CSCD
北大核心
2015年第S1期382-387 424,424,共7页
-
基金
国家"863"高技术研究发展计划项目基金(2012AA010901)
国家科技重大专项基(2013ZX01029002)
计算机体系结构国家重点实验室开放课题资助
-
文摘
C/C++提供了很多高效的诸如strcpy等字符串操作库函数,但由于缺乏相应安全边界检查机制,存在着一些容易被攻击者利用的缓冲区溢出漏洞与威胁。讨论已有的Libsafe安全库增强机制并分析了其依赖于栈帧指针回溯栈活动记录的局限性。提出基于程序指令特征码匹配来回溯函数栈活动记录的Libsafe安全库增强方法。逐条匹配函数体指令与已知候选集指令来获取栈信息。并在追溯栈活动记录时,将已回溯到的栈活动记录用哈希函数保存,以返回地址作为关键字用链地址法进行检索。对改进版Libsafe安全库检测方法做了算法可行性和复杂度分析。从灵敏性、完整性、准确性、性能等几个方面做了实验与分析,表明该机制的高效性与可用性。
-
关键词
libsafe库检测
栈帧指针
堆栈活动记录
指令特征码
回溯栈
哈希函数
-
Keywords
detection of libsafe library,stack frame pointer,activate record,attribute code of instruction,look back upon stack,hash functio
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-