尹青 刘铁铭 何红旗 谢耀滨 陈亮 韩小琨 周博 殷文建 张有为 费勤福 王九宇 田立 余弦 吴金波 赵鹏 俞勇 朱杰 宋彭涛 周丽娜 马晓军 王震宇

格 二进制分析 计算项 类型约束 医疗保险 类型推导 子程序识别 全双工 反编译 AT91M55800A μCOS-II 冗余链路 反汇编结果程序结构 算法识别 逻辑模拟 同步电路 基本块 光纤通信 程序理解 子程序划分 模拟策略 算法 多目标 可执行程序 反静态反汇编 无人机 解释型模拟 语义等价 控制流 反汇编

解放军信息工程大学信息工程学院 河南郑州 信息工程大学信息工程学院 信息工程大学信息安全学院 解放军信息工程大学