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

第４２卷　第 １１期 　 计 算 机 工 程 ２０１６年 １１月 　　 Ｖｏｌ．４２　 Ｎｏ．１１ 　 ＣｏｍｐｕｔｅｒＥｎｇｉｎｅｅｒｉｎｇ Ｎｏｖｅｍｂｅｒ２０１６ ·安全技术 · 文章编号：１０００３４２８（２０１６）１１０１３９０８　　　文献标志码：Ａ　　　中图分类号：ＴＰ３０９ 基于符号执行的Ｐｙｔｈｏｎ攻击脚本分析平台 邱　洋，王轶骏，薛　质 （上海交通大学 信息安全工程学院，上海 ２００２４０） 摘　要：传统的静态分析方法大多不能准确处理脚本与网络交互的过程，且会引入不可达路径，动态分析则需要搭 建实验环境和手工分析。针对上述问题，提出一种基于符号执行的Ｐｙｔｈｏｎ攻击脚本分析平台ＰｙＥｘＺ３＋。通过对 Ｐｙｔｈｏｎ脚本的动态符号执行及路径探索，可以获得触发攻击的输入流量及相应