河南省科技攻关计划(092101210503)
- 作品数：3 被引量：1H指数：1
- 相关作者：何东尹青井静谢耀宾田斌更多>>
- 相关机构：解放军信息工程大学国家数字交换系统工程技术研究中心中国矿业大学更多>>
- 发文基金：河南省科技攻关计划国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于ISS的多处理器嵌入式系统模拟方案
- 2010年
- 提出一种基于ISS的多处理器嵌入式系统模拟方案。采用基于总线的互连方式,合理利用共享内存机制,解决不同处理器进程间的通信问题。提出全局时钟同步机制,实现对所有处理器单元的调度安排,使各处理器之间保持步调一致。分析表明,该方案能够实现对单个或多个同源或不同源目标代码的模拟与跟踪。
- 宋彭涛田斌蒋烈辉李继中王九宇
- 关键词：嵌入式系统指令集模拟器多处理器
- 反编译中数据类型自动重构技术研究被引量：1
- 2012年
- 类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化类型的框架,而后通过收集框架内可访问的偏移集合并利用简单类型恢复的算法对偏移对象类型进行恢复,从而推导出复杂结构类型。该算法是目前正在开发的类型重构工具的关键技术,它不仅能够准确地重构简单类型,而且能够准确地解析复杂类型,且准确率较高。
- 何东尹青谢耀宾井静
- 关键词：反编译等价类
- 基于规则的数据类型重构技术研究
- 2012年
- 为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变量的数据类型信息。实验结果表明,该方法能对简单数据变量类型和复杂数据变量类型进行恢复,具有较高的准确性。
- 尹青何东李娜何红旗
- 关键词：反编译中间语言
