linux中的python攻击脚本_基于符号执行的python攻击脚本分析平台.pdf

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

第４２卷　第 １１期 　 计 算 机 工 程 ２０１６年 １１月

Ｖｏｌ．４２　 Ｎｏ．１１ 　 ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ Ｎｏｖｅｍｂｅｒ２０１６

·安全技术 · 文章编号：１０００３４２８(２０１６)１１０１３９０８　　　文献标志码：Ａ　　　中图分类号：ＴＰ３０９

基于符号执行的Ｐｙｔｈｏｎ攻击脚本分析平台

邱　洋，王轶骏，薛　质

(上海交通大学 信息安全工程学院，上海 ２００２４０)

摘　要：传统的静态分析方法大多不能准确处理脚本与网络交互的过程，且会引入不可达路径，动态分析则需要搭

建实验环境和手工分析。针对上述问题，提出一种基于符号执行的Ｐｙｔｈｏｎ攻击脚本分析平台ＰｙＥｘＺ３＋。通过对

Ｐｙｔｈｏｎ脚本的动态符号执行及路径探索，可以获得触发攻击的输入流量及相应的输出攻击载荷，以此实现对

Ｐｙｔｈｏｎ攻击脚本的自动化分析。采用循环识别及运行时解析等优化策略，使程序更快进入目标代码。实验结果表

明，ＰｙＥｘＺ３＋相比ＣＨＥＦ，ＰｙＥｘＺ３等符号执行工具，具有更高的路径覆盖率和执行效率，同时ＰｙＥｘＺ３＋能够对目标

脚本程序进行动态检测，实现高效、可行的自动化分析。

关键词：符号执行；Ｐｙｔｈｏｎ语言；动态分析；测试数据生成；攻击脚本；路径探索

中文引用格式：邱　洋，王轶骏，薛　质．基于符号执行的 Ｐｙｔｈｏｎ攻击脚本分析平台［Ｊ］．计算机工程，２０１６，

４２(１１)：１３９１４６．

英文引用格式：ＱｉｕＹａｎｇ，ＷａｎｇＹｉｊｕｎ，ＸｕｅＺｈｉ．ＰｙｔｈｏｎＡｔｔａｃｋＳｃｒｉｐｔＡｎａｌｙｓｉｓＰｌａｔｆｏｒｍＢａｓｅｄｏｎＳｙｍｂｏｌｉｃＥｘｅｃｕｔｉｏｎ［Ｊ］．

ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ，２０１６，４２(１１)：１３９１４６．

ＰｙｔｈｏｎＡｔｔａｃｋＳｃｒｉｐｔＡｎａｌｙｓｉｓＰｌａｔｆｏｒｍＢａｓｅｄｏｎＳｙｍｂｏｌｉｃＥｘｅｃｕｔｉｏｎ

ＱＩＵＹａｎｇ，ＷＡＮＧＹｉｊｕｎ，ＸＵＥＺｈｉ

(ＣｏｌｌｅｇｅｏｆＩｎｆｏｒｍａｔｉｏｎＳｅｃｕｒｉｔｙ，ＳｈａｎｇｈａｉＪｉａｏｔｏｎｇＵｎｉｖｅｒｓｉｔｙ，Ｓｈａｎｇｈａｉ２００２４０，Ｃｈｉｎａ)

【Ａｂｓｔｒａｃｔ】Ｔｈｅｔｒａｄｉｔｉｏｎａｌｓｔａｔｉｃａｎａｌｙｓｉｓｍｅｔｈｏｄｃａｎｎｏｔｈａｎｄｌｅｔｈｅｉｎｔｅｒａｃｔｉｏｎｂｅｔｗｅｅｎｔｈｅｓｃｒｉｐｔａｎｄｔｈｅｎｅｔｗｏｒｋ，ａｎｄｉｔ

ｉｎｔｒｏｄｕｃｅｓｉｎａｃｃｅｓｓｉｂｌｅｐａｔｈ．Ｔｈｅｄｙｎａｍｉｃａｎａｌｙｓｉｓｎｅｅｄｓｔｏｓｅｔｕｐｔｈｅｅｘｐｅｒｉｍｅｎｔａｌｅｎｖｉｒｏｎｍｅｎｔａｎｄｎｅｅｄｓｍａｎｕａｌ

ａｎａｌｙｓｉｓ．Ｔｏｓｏｌｖｅｔｈｅｓｅｐｒｏｂｌｅｍｓ，ｔｈｉｓｐａｐｅｒｐｒｏｐｏｓｅｓａＰｙｔｈｏｎａｔｔａｃｋｓｃｒｉｐｔａｎａｌｙｓｉｓｐｌａｔｆｏｒｍｃａｌｌｅｄＰｙＥｘＺ３＋ｂａｓｅｄｏｎ

ｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ．ＴｈｒｏｕｇｈｔｈｅｄｙｎａｍｉｃｓｙｍｂｏｌｅｘｅｃｕｔｉｏｎａｎｄｐａｔｈｅｘｐｌｏｒａｔｉｏｎｏｆＰｙｔｈｏｎｓｃｒｉｐｔ，ｉｔｃａｎｇｅｔｔｈｅｉｎｐｕｔ

ｔｒａｆｆｉｃａｎｄｔｈｅｃｏｒｒｅｓｐｏｎｄｉｎｇｏｕｔｐｕｔａｔｔａｃｋｐａｙｌｏａｄ，ｗｈｉｃｈｃａｎｒｅａｌｉｚｅｔｈｅａｕｔｏｍａｔｉｃａｎａｌｙｓｉｓｏｆＰｙｔｈｏｎａｔｔａｃｋｓｃｒｉｐｔ．

ＰｙＥｘＺ３＋ｕｓｅｓｌｏｏｐｉｄｅｎｔｉｆｉｃａｔｉｏｎａｎｄｒｕｎｔｉｍｅｓｏｌｖｅｒｏｐｔｉｍｉｚａｔｉｏｎｓｔｒａｔｅｇｙｔｏｉｍｐｒｏｖｅｔｈｅｐａｔｈｃｏｖｅｒａｇｅａｎｄｔｈｅ

ｅｆｆｉｃｉｅｎｃｙｏｆｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎ．ＥｘｐｅｒｉｍｅｎｔａｌｒｅｓｕｌｔｓｓｈｏｗｔｈａｔＰｙＥｘＺ３＋ｈａｓａｈｉｇｈｅｒｐａｔｈｃｏｖｅｒａｇｅａｎｄｅｘｅｃｕｔｉｏｎ

ｅｆｆｉｃｉｅｎｃｙｃｏｍｐａｒｅｄｗｉｔｈｔｈｅｅｘｉｓｔｉｎｇｓｙｍｂｏｌｉｃｅｘｅｃｕｔｉｏｎｔｏｏｌｓ，ｓｕｃｈ