河南省科技攻关计划(092101210503)

作品数：3被引量：1H指数：1
导出分析报告
相关作者：何东尹青井静谢耀宾田斌更多>>
相关机构：解放军信息工程大学国家数字交换系统工程技术研究中心中国矿业大学更多>>
相关期刊：《计算机工程》《计算机科学》更多>>
相关主题：反编译数据类型等价类ISS多处理器更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-3
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于规则的数据类型重构技术研究
《计算机工程》2012年第19期30-33,共4页尹青 何东 李娜 何红旗 
国家"863"计划基金资助项目(2007AA01Z483);河南省科技攻关计划基金资助项目(092101210503)
为恢复变量的数据类型信息并提高反编译的质量,提出一种基于规则的数据类型重构方法。采用静态和动态相结合的分析方式,将可执行代码转化为中间语言,在优化中间语言的基础上为每条指令制定约束规则,并给出相应的求解算法,从而推导出变...
关键词：反编译 类型重构 类型约束 中间语言 类型格 
反编译中数据类型自动重构技术研究被引量：1
《计算机科学》2012年第5期133-136,共4页何东 尹青 谢耀宾 井静 
国家"863"计划基金(2007AA01Z483);河南省科技攻关(092101210503)资助
类型重构作为反编译的关键问题,对程序的可读性及可理解性具有重要的作用。给出了汇编基础上数据类型自动重构的算法。对于简单类型,通过基于格的类型属性操作,用迭代算法来实现类型恢复;对于复杂类型,通过构建标记等价类来恢复结构化...
关键词：反编译 类型重构 类型依赖方程 等价类 
基于ISS的多处理器嵌入式系统模拟方案
《计算机工程》2010年第21期280-282,285,共4页宋彭涛 田斌 蒋烈辉 李继中 王九宇 
国家"863"计划基金资助项目(2007AA01Z483);河南省科技攻关计划基金资助项目(092101210503)
提出一种基于ISS的多处理器嵌入式系统模拟方案。采用基于总线的互连方式,合理利用共享内存机制,解决不同处理器进程间的通信问题。提出全局时钟同步机制,实现对所有处理器单元的调度安排,使各处理器之间保持步调一致。分析表明,该方案...
关键词：嵌入式系统 指令集模拟器 多处理器 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部