殷文建 刘宗田 雷涛 赵蕾 朱虹 蒋烈辉 王开铸 许向阳 杨克峤 庞建民 刘铁铭 崔平非 周丽娜 张雪萌 周瑞平 赵荣彩 朱晓珺 鄂殿海 陆纪权 尹青 侯文永

软件工具 类型约束 知识工程 电子邮件 程序变换 参数 IA-64 可执行链接格式 伪编译 伪函数 程序图 控制流 类型推导 PRG 状态转换 程序流程图 静态库 C语言 格 执行流 基本块 过程识别 FOX 文件 逆向工程 软件逆向工程 软件维护 库函数 虚执行 模糊技术 语义描述