金淳兆 王洪媛 陈伟 冯铁 李文锦 张可 冉宏敏 柴胜 肖俊超

状态图 基于事例的推理 Shift表 软件体系结构描述语言 聚合 类模型 重构 状态向量 程序理解 面向对象 非预期状态转换路径 角色模型 YACC Reduce表 LALR（1）方法 状态转换 设计模式 双向关联 面向对象方法 逆向工程 僵尸网络 Scenarios 主动连接件 命令与控制机制 LR方法 对等网络 恶意代码 反模式 转换 软件重用

吉林长春 吉林大学计算机科学与技术学院 吉林大学计算机科学系 吉林大学计算机科学与技术学院符号计算与知...