专利详情

专利名称	一种基于树优化的程序依赖关系分析方法及系统
申请号	CN201410055841.2	专利类型	发明专利
公开（公告）号	CN103793653A	公开（授权）日	2014.05.14
申请（专利权）人	中国科学院信息工程研究所	发明（设计）人	陈恺;赵险峰;张颖君
主分类号	G06F21/57(2013.01)I	IPC主分类号	G06F21/57(2013.01)I
专利有效期	一种基于树优化的程序依赖关系分析方法及系统至一种基于树优化的程序依赖关系分析方法及系统	法律状态	实质审查的生效
说明书摘要	本发明涉及一种基于树优化的程序依赖关系分析方法及系统，该方法包括：步骤1，将函数中的连续指令划分为多个基本块，每个基本块仅有单一入口和单一出口；步骤2，针对每个基本块构建相应的指令依赖树和指令依赖森林；步骤3，分析指令依赖树和指令依赖森林，去除未改变原状态的指令，去除依赖于特殊寄存器的指令依赖树；步骤4，从前一基本块中去除在其后续各基本块中有重复定义但未被使用的变量对应的指令依赖树；步骤5，选取内存索引中不能静态计算寄存器值的指令所在的位置，将该指令位置之前的位置作为动态插装位置；步骤6，在所有动态插装位置上插装统一化的影子指令。本发明无需对每条指令进行插装，有效提高了程序动态分析的效率。