恶意代码的符号执行树分析方法

• 作者: 安靖 杨义先 钟金鑫 魏更宇
• 来源期刊: 重庆大学学报：自然科学版
• 学科: 工学
• 关键词: 符号执行 路径爆炸 恶意代码分析 汇聚节点 二进制程序分析
• 年，卷（期）: 2012,（2）
• 页码范围: 65-70
• 分类号: TP393
• 语种: 中文

摘要

在恶意代码分析中，动态监测虚拟环境中的恶意代码行为是一种常用的方法。但是，由于可执行的路径分支众多，极易产生路径爆炸问题，造成某些可执行路径无法被覆盖，严重影响分析的全面性。为了解决恶意代码分析中路径爆炸问题，提出了一种基于符号执行树的恶意代码分析方法。通过构造符号执行树，引入汇聚节点，对恶意代码的执行路径进行约束求解，减少分析路径，从而缓解路径爆炸的影响，提高分析的全面性。恶意代码样本分析的实验表明，该方法能够有效地提升分析效率。同时拥有较小的时间复杂度。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杨义先	北京邮电大学信息安全中心	629	8372	39.0	65.0
2	魏更宇	北京邮电大学信息安全中心	14	53	4.0	6.0
3	安靖	北京邮电大学信息安全中心	3	15	2.0	3.0
4	钟金鑫	北京邮电大学信息安全中心	2	11	2.0	2.0