基本信息来源于合作网站,原文需代理用户跳转至来源网站获取       
摘要:
系统平台、编译器以及编译选项的差异,都可能会导致程序的源代码和编译得到的可执行代码之间存在语义差异,仅对源代码进行分析可能会遗漏隐藏在可执行代码里的漏洞。即使在源代码分析中验证了所需要的安全性质,也无法保证不违反可执行代码中的安全性质。本文基于一个二进制动态插装框架,设计并实现了一种对程序执行路径进行追踪的原型系统。实验证明,本系统在准确追踪执行路径的同时,能够过滤掉90%~99%的次要指令,极大提高了分析效率。最后,本文对其他的技术方案、现有原型系统的不足以及未来的工作进行了讨论。
推荐文章
基于动态符号执行的二进制程序缺陷发现系统
语义提取
动态符号执行
路径调度
二进制程序缺陷发现
基于动态符号执行的二进制程序缺陷发现系统
语义提取
动态符号执行
路径调度
二进制程序缺陷发现
一种基于抽象解释的二进制代码测试方法
值集分析
静态分析
抽象解释
符号执行
脆弱点
控制流程图
基于动态二进制分析的密码算法识别
密码算法识别
动态二进制分析
DynamoRIO平台
特征统计
常数特征匹配
函数参数识别
内容分析
关键词云
关键词热度
相关文献总数  
(/次)
(/年)
文献信息
篇名 基于二进制动态插装程序执行路径追踪
来源期刊 信息安全与技术 学科 工学
关键词 可执行程序 路径追踪 动态插装 全系统虚拟机
年,卷(期) 2011,(9) 所属期刊栏目 技术探讨
研究方向 页码范围 41-46
页数 分类号 TP311
字数 6002字 语种 中文
DOI 10.3969/j.issn.1674-9456.2011.09.009
五维指标
作者信息
序号 姓名 单位 发文数 被引次数 H指数 G指数
1 李舟军 北京航空航天大学计算机学院 136 2221 23.0 43.0
2 忽朝俭 北京航空航天大学计算机学院 6 63 4.0 6.0
3 杨天放 北京航空航天大学计算机学院 2 7 2.0 2.0
4 常达 北京航空航天大学计算机学院 1 4 1.0 1.0
传播情况
(/次)
(/年)
引文网络
引文网络
二级参考文献  (0)
共引文献  (0)
参考文献  (0)
节点文献
引证文献  (4)
同被引文献  (3)
二级引证文献  (0)
2011(0)
  • 参考文献(0)
  • 二级参考文献(0)
  • 引证文献(0)
  • 二级引证文献(0)
2013(1)
  • 引证文献(1)
  • 二级引证文献(0)
2014(1)
  • 引证文献(1)
  • 二级引证文献(0)
2015(1)
  • 引证文献(1)
  • 二级引证文献(0)
2020(1)
  • 引证文献(1)
  • 二级引证文献(0)
研究主题发展历程
节点文献
可执行程序
路径追踪
动态插装
全系统虚拟机
研究起点
研究来源
研究分支
研究去脉
引文网络交叉学科
相关学者/机构
期刊影响力
网络空间安全
月刊
1674-9456
10-1421/TP
16开
北京市海淀区紫竹院路66号赛迪大厦18层
82-938
2010
chi
出版文献量(篇)
3296
总下载数(次)
16
总被引数(次)
10074
论文1v1指导