周博 费勤福 何红旗 尹青 陈亮 蒋烈辉 张有为

基本块 指令集模拟器 子程序识别 控制流 解释型模拟 反汇编 结点 程序理解 反汇编结果程序结构 子程序划分 算法 二进制分析 虚拟指令集 模拟策略

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