梁知音 邹维 毛剑 李根 葛瑶 帅建梅 卢锡城 韦韬 李佳静 郑烇 王铁磊 卢凯 凤旺森 孔德光 陈超 张英

数据流分析 数据流 控制流 脆弱性 恶意代码 击键记录 木马间谍程序 加权下推自动机 高危整数溢出错误 动态自动测试用例生成 整数溢出 恶意行为 符号化执行 信息窃取 行为语义