刘建波 刘宗田 胡政 任传胜 曹孟春 陈学军

会话树 数组类型恢复 源代码 中间代码 面向用户 C语言 模式语言 客体对象值 动态表达式匹配 比较算法 开关结构 审计记录 逆编译 C标准库 非纯变量下标 逆编译系统 数据类型 中间语言 可读性 库函数识别 反编译代码

合肥工业大学微机所 中国科学技术大学计算机科学与技术系 安徽合肥 上海大学计算机学院 上海大学计算机信息与工程学院 合肥工业大学微型机研究所 中国科学技术大学计算机科学技术系