反编译在航天工业中的应用

• 作者: 吴岩 王开铸 赵蕾
• 来源期刊: 宇航学报
• 学科: 航空航天
• 关键词: 反编译 软件工具 程序验证 程序可靠性
• 年，卷（期）: 1998,（3）
• 所属期刊栏目: 研究简报
• 页码范围: 97-102
• 页数: 6页
• 分类号: V4
• 语种: 中文
• DOI: 10.3321/j.issn:1000-1328.1998.03.017

摘要

本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用;介绍了反编译的背景知识;给出一个实用的反编译系统DCPL的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能.