太阳城集团

  • / 11
  • 下载费用:30 金币  

一种目标代码控制流图生成方法.pdf

摘要
申请专利号:

CN201611168496.9

申请日:

2016.12.16

公开号:

CN106775913A

公开日:

2017.05.31

当前法律状态:

实审

有效性:

审中

法律详情: 实质审查的生效IPC(主分类):G06F 9/45申请日:20161216|||公开
IPC分类号: G06F9/45; G06F9/44 主分类号: G06F9/45
申请人: 华东师范大学
发明人: 何积丰; 熊家文; 史建琦; 黄滟鸿; 李昂; 方徽星
地址: 200062 上海市普陀区中山北路3663号
优先权:
专利代理机构: 北京辰权知识产权代理有限公司 11619 代理人: 郎志涛
PDF完整版下载: PDF下载
法律状态
申请(专利)号:

太阳城集团CN201611168496.9

授权太阳城集团号:

|||

法律状态太阳城集团日:

2017.06.23|||2017.05.31

法律状态类型:

太阳城集团实质审查的生效|||公开

摘要

太阳城集团本发明公开了一种基于符号执行的目标代码控制流图生成方法,该方法包括预处理步骤、反汇编与控制流图生成步骤、目标地址分析步骤。其中,预处理步骤实现目标代码文件的格式识别与程序入口地址的定位,反汇编与控制流图生成步骤实现机器指令的翻译与控制流图的生成,目标地址分析步骤实现间接跳转指令处目的地址的可能值分析计算,其包括符号执行、SMT求解器求解、自动测试用例生成、二进制仿真执行步骤。该方法对间接地址跳转地址进行了分析,其生成的控制流图,相比于一般方法生成的控制流图,具有更加精确、相对完整的特点。

权利要求书

1.一种目标代码控制流图生成方法,包括如下步骤:
A1.预处理步骤:用于对目标代码文件进行封装格式的识别,定位程序指令的入口地
址;
A2.反汇编与控制流图生成步骤:用于机器指令的反汇编与控制流图生成;
A3.目标地址分析步骤:用于间接跳转指令处目的地址的可能值分析计算。
2.如权利要求1所述的目标代码控制流图生成方法,其特征在于,所述预处理步骤包
括:
C1.文件类型识别步骤:通过对特定封装格式文件头部数据结构的匹配,进行文件类型
的识别;
C2.目标平台确定步骤:读取并解析目标代码文件的头部数据,确定目标代码的目标平
台;
C3.入口偏移地址定位步骤:读取并解析目标代码文件的头部数据,定位目标文件指令
序列的入口偏移地址。
3.如权利要求1或2所述的目标代码控制流图生成方法,其特征在于,所述反汇编与控
制流图生成步骤包括:
D1.反汇编引擎选择步骤:根据所述预处理步骤所识别的目标平台太阳城集团,自动选择相应
的反汇编引擎;
D2.反汇编步骤:对于顺序指令序列,进行线性扫描式的反汇编处理;对于目的地址明
确的跳转,直接跳转至目标地址进行反汇编,对于目标地址为寄存器的间接地址跳转,调用
目标地址分析方法进行目标地址分析,得到目标地址后跳转至相应位置进行反汇编,并构
建相应的控制流图节点。
4.如权利要求1-3中任一项所述的目标代码控制流图生成方法,其特征在于,所述目标
地址分析步骤包括:
E1.路径条件符号计算步骤:对程序进行符号执行,分析推导抵达间接跳转指令处所需
满足的条件,输出一个条件公式;
E2.SMT求解步骤:对所述路径条件符号计算步骤输出的条件公式进行求解,计算公式
中变量的可行取值;
E3.二进制仿真步骤:以所述SMT求解步骤中获取的变量可行值作为输入参数,仿真执
行相应的指令序列,以跟踪指令序列运行过程中的寄存器中值的变化,最终确定间接跳转
指令的目的地址,以之作为下一条待反汇编指令的地址,反汇编与控制流图生成方法重新
处理指令。
5.如权利要求1-4中任一项所述的目标代码控制流图生成方法中,所述反汇编步骤中
的反汇编采用递归下降的反汇编方法。

关 键 词:
一种 目标 代码 控制 生成 方法
  专利查询网所有资源均是用户自行上传分享,仅供网友学习交流,未经上传用户书面授权,请勿作他用。
太阳城集团本文
本文标题:一种目标代码控制流图生成方法.pdf
链接地址:http://zh228.com/p-6019652.html
太阳城集团我们 - 网站声明 - 网站地图 - 资源地图 - 友情链接 - 网站客服客服 - 联系我们

copyright@ 2017-2018 zhuanlichaxun.net网站版权所有
经营许可证编号:粤ICP备17046363号-1 
 


收起
展开
葡京赌场|welcome document.write ('');