一种面向程序动态分析的循环摘要生成方法-电子学报.PDF

第６期 电 子 学 报 Ｖｏｌ．４２ Ｎｏ．６ 年 月 ２０１４ ６ ＡＣＴＡＥＬＥＣＴＲＯＮＩＣＡＳＩＮＩＣＡ Ｊｕｎ． ２０１４ 一种面向程序动态分析的循环摘要生成方法 １ ２ １ １ 聂楚江 ，刘海峰 ，苏璞睿 ，冯登国 （ 中国科学院软件研究所可信计算与信息保障实验室，北京 ； 北京信息安全测评中心，北京 ） １． １００１９０２． １００１０１ 摘 要： 动态测试数据生成方法相对于传统 测试方法能有效的提高软件测试与漏洞分析的效率 本文针 Ｆｕｚｚ ． 对动态测试数据生成过程中对循环进行处理时的路径覆盖效率较低与约束求解困难的问题，提出了一种使用归纳变 量构建循环摘要，并通过符号计算提取循环摘要的方法 本文通过将循环摘要应用于软件动态分析过程中，验证了使 ． 用循环摘要能有效的提高约束求解与循环路径遍历的效率． 关键词： 循环；软件测试；漏洞分析；符号计算 中图分类号： 文献标识码： 文章编号： （ ） ＴＰ３０９ Ａ ０３７２２１１２２０１４０６１１１００８ 电子学报 ： ： ： ＵＲＬ ｈｔｔｐ／／ｗｗｗ．ｅｊｏｕｒｎａｌ．ｏｒｇ．ｃｎ ＤＯＩ １０．３９６９／ｊ．ｉｓｓｎ．０３７２２１１２．２０１４．０６．０１２ ＡＬｏｏｐＳｕｍｍａｒｉｚａｔｉｏｎＭｅｔｈｏｄｆｏｒＤｙｎａｍｉｃＢｉｎａｒｙＰｒｏｇｒａｍＡｎａｌｙｓｉｓ １ ２ １ １ ， ， ， ＮＩＥＣｈｕｊｉａｎｇＬＩＵＨａｉｆｅｎｇＳＵＰｕｒｕｉＦＥＮＧＤｅｎｇｇｕｏ （ ， ， ， ； １．ＬａｂｏｒａｔｏｒｙｏｆＴｒｕｓｔｅｄＣｏｍｐｕｔｉｎｇａｎｄＩｎｆｏｒｍａｔｉｏｎＡｓｓｕｒａｎｃｅＩｎｓｔｉｔｕｔｅｏｆＳｏｆｔｗａｒｅＣｈｉｎｅｓｅＡｃａｄｅｍｙｏｆＳｃｉｅｎｃｅＢｅｉｊｉｎｇ１００１９０Ｃｈｉｎａ ， ， ） ２．ＢｅｉｊｉｎｇＩｎｆｏｒｍａｔｉｏｎＴｅｃｈｎｏｌｏｇｙＳｅｃｕｒｉｔｙＥｖａｌｕａｔｉｏｎＣｅｎｔｅｒＢｅｉｊｉｎｇ１００１０１Ｃｈｉｎａ ： ， Ａｂｓｔｒａｃｔ ＣｏｍｐａｒｅｄｔｏｔｈｅｔｒａｄｉｔｉｏｎａｌＦｕｚｚｔｅｓｔｉｎｇｄｙｎａｍｉｃｔｅｓｔｇｅｎｅｒａｔｉｏｎｃａｎｉｍｐｒｏｖｅｔｈｅｅｆｆｉｃｉｅｎｃｙｏｆｓｏｆｔｗａｒｅｔｅｓｔｉｎｇ ａｎｄｖｕｌｎｅｒａｂｉｌｉｔｙａｎａｌｙｓｉｓ．Ｔｈｉｓｐａｐｅｒｆｏｃｕｓｅｓｏｎｔｈｅｐｅｒｆｏｒｍａｎｃｅｏｆｐａｔｈｃｏｖｅｒｉｎｇａｎｄｃｏｎｓｔｒａｉｎｔｓｏｌｖｉｎｇｉｎｄｙｎａｍｉｃｔｅｓｔｇｅｎｅｒａ ，