检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
出 处:《计算机工程》2013年第8期77-82,共6页Computer Engineering
基 金:国家"863"计划基金资助项目(2009AA01ZA434)
摘 要:动态控制流恢复方法存在路径覆盖不全的问题。为解决该问题,提出一种基于自动路径驱动的控制流恢复算法。在可控的模拟调试环境中动态执行并分析二进制程序,通过修改CPU程序计数器的值,使驱动程序执行在当前输入条件下无法访问的程序路径,从而构建控制流图。基于该算法,设计实现自动路径驱动控制流恢复系统。测试结果表明,该算法能够较全面地发掘程序执行路径,与传统动态执行算法和交互式反汇编器相比,能有效提高恢复控制流图的覆盖率。To solve the problem in dynamic control flow reconstruction that not all program execution paths can be explored,an algorithm based on execution path driven is presented.The main idea of this algorithm is to run the binary program in a controllable instrument environment,and drives it to execute the program paths which can’t be explored under current input set by modifying the value of Program Counter(PC),so that Control Flow Graph(CFG) can be reconstructed.Based on this algorithm,a dynamic path drive control flow recovery system is designed and implemented.Experimental results illustrate that this algorithm is effective in exploring execution paths.Compared with traditional dynamic algorithm and Interactive Disassembler(IDA),the coverage of CFG reconstructed by this algorithm is higher.
关 键 词:控制流图 路径驱动 动态分析 二进制程序 模拟调试环境 程序计数器
分 类 号:TP301.6[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:3.138.188.86