基于符号执行的Python攻击脚本分析平台

• 作者: 王轶骏 薛质 邱洋
• 来源期刊: 计算机工程
• 学科: 工学
• 关键词: 符号执行 Python语言 动态分析 测试数据生成 攻击脚本 路径探索
• 年，卷（期）: 2016,（11）
• 所属期刊栏目: ?安全技术?
• 页码范围: 139-146
• 页数: 8页
• 分类号: TP309
• 字数: 8468字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-3428.2016.11.023

摘要

传统的静态分析方法大多不能准确处理脚本与网络交互的过程，且会引入不可达路径，动态分析则需要搭建实验环境和手工分析。针对上述问题，提出一种基于符号执行的 Python 攻击脚本分析平台 PyExZ3＋。通过对Python脚本的动态符号执行及路径探索，可以获得触发攻击的输入流量及相应的输出攻击载荷，以此实现对Python攻击脚本的自动化分析。采用循环识别及运行时解析等优化策略，使程序更快进入目标代码。实验结果表明，PyExZ3＋相比CHEF，PyExZ3等符号执行工具，具有更高的路径覆盖率和执行效率，同时PyExZ3＋能够对目标脚本程序进行动态检测，实现高效、可行的自动化分析。

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛质	上海交通大学信息安全工程学院	274	1489	18.0	25.0
2	王轶骏	上海交通大学信息安全工程学院	80	388	10.0	15.0
3	邱洋	上海交通大学信息安全工程学院	1	4	1.0	1.0