何东

作品数：2被引量：1H指数：1
导出分析报告
供职机构：解放军信息工程大学信息工程学院更多>>
发文主题：反编译中间语言数据类型等价类数据流分析更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《计算机工程》《计算机科学》更多>>
所获基金：河南省科技攻关计划国家高技术研究发展计划更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于规则的数据类型重构技术研究
《计算机工程》2012年第19期30-33,共4页尹青 何东 李娜 何红旗 
国家"863"计划基金资助项目(2007AA01Z483);河南省科技攻关计划基金资助项目(092101210503)
为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变...
关键词：反编译 类型重构 类型约束 中间语言 类型格 
反编译中数据类型自动重构技术研究被引量：1
《计算机科学》2012年第5期133-136,共4页何东 尹青 谢耀宾 井静 
国家"863"计划基金(2007AA01Z483);河南省科技攻关(092101210503)资助
类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化...
关键词：反编译 类型重构 类型依赖方程 等价类 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部