Angr动态软件测试应用分析与优化

计算机工程与科学

• 软件工程 • 上一篇

Angr动态软件测试应用分析与优化

宋丛溪，王辛，张文喆

（国防科技大学计算机学院，湖南长沙 410073）

收稿日期:2018-07-17 修回日期:2018-09-20 出版日期:2018-11-26 发布日期:2018-11-25
基金资助:
国家重点研发计划（2016YFB0200400）；国防科技卓越人才项目（2017JCJQZQ013）；湖南省科技领军人才项目（2017RS3045）；国防科技大学本科教育教学研究课题(U2015013)；国防科技大学研究生教育教学改革研究课题(yjsy2016012)；湖南省学位与研究生教育教学改革研究项目(JG2017B004)

Analysis and optimization of Angr in

dynamic software test application

SONG Congxi，WANG Xin,ZHANG Wenzhe

（College of Computer,National University of Defense Technology,Changsha 410073,China）

Received:2018-07-17 Revised:2018-09-20 Online:2018-11-26 Published:2018-11-25

摘要/Abstract

摘要：

如今，基于符号化执行技术的动态软件测试被人们广泛应用，然而符号化执行遍历路径时带来的路径爆炸问题限制了其性能。应用了基于动态符号化执行技术的系统Angr，它加载待测二进制程序，并转化成中间语言符号化遍历程序。提出将待测程序根据特点分类的方法，调整遍历时的参数设置，对遍历过程剪枝，缓解了路径爆炸问题。为了分析Angr在软件测试中的应用方法，我们使用该系统对几种类别的程序分别进行了参数调整，以便扩展应用于更多软件系统的漏洞探测中。

关键词: 软件测试, 符号化执行, Angr

Abstract:

Today, dynamic software testing based on symbolic execution techniques is widely used, but the problem of path explosion caused by symbolic execution of traversal paths extremely limits its performance. We apply a system Angr based on dynamic symbolic execution technique, which loads the binary programs to be tested and converts them into an intermediate language symbolization traversal program. We also propose a classification method for the programs to be tested according to their characteristics, adjust parameter settings during the traversal, and prune the traversal process to alleviate the path explosion problem. In order to analyze the application methods of Angr in software testing, we use this system to adjust the parameters of several categories of programs separately, so it can be applied to the vulnerability detection of more software systems.

Key words: software test, symbolic execution, Angr

宋丛溪，王辛，张文喆. Angr动态软件测试应用分析与优化[J]. 计算机工程与科学.

SONG Congxi，WANG Xin,ZHANG Wenzhe.

Analysis and optimization of Angr in

dynamic software test application

[J]. Computer Engineering & Science.

[1]	牛胜杰, 李鹏, 张玉杰, . 模糊测试技术研究综述[J]. 计算机工程与科学, 2022, 44(12): 2173-2186.
[2]	张卫祥，齐玉华，魏波，张敏，窦朝晖. 基于蚁群算法的测试用例优先排序[J]. 计算机工程与科学, 2020, 42(02): 241-249.
[3]	占徐政. 一种针对高维输入域的适应性随机测试改进性算法[J]. 计算机工程与科学, 2018, 40(11): 1936-1943.
[4]	赵一丁，缑西梅，底恒. 项目驱动教学法在软件测试课程中的过程控制[J]. 计算机工程与科学, 2016, 38(增刊): 112-116.
[5]	赵一丁1,樊银亭1,郑秋生1,楚纪正2,罗菁1. 工业软件现场测试中的拆分及其测试数据设计[J]. J4, 2016, 38(05): 921-931.
[6]	赵翀，高鹏. 软件测试课程工程实践教学模式的探索与实施[J]. J4, 2014, 36(A1): 51-55.
[7]	鞠小林1, 2,姜淑娟1,陈翔2,曹鹤玲1,王兴亚1. 一种基于多变量Logistic模型的缺陷定位方法[J]. J4, 2014, 36(10): 1952-1960.
[8]	吴洁明，李硕征. CNONIX标准符合性测试研究[J]. J4, 2014, 36(05): 884-890.
[9]	王蓁蓁. 基于测试结果调整语句出错概率方法[J]. J4, 2014, 36(05): 891-899.
[10]	李毅1，徐萍1，万寒2. 基于QEMU实现的处理器类故障模拟与注入方法研究[J]. J4, 2014, 36(01): 19-27.
[11]	时贵英. 改进PSO算法在软件测试数据生成中的应用[J]. J4, 2012, 34(1): 86-89.
[12]	牟永敏，姜宇，张志华. 软件自动化测试中热点路径的研究[J]. J4, 2011, 33(6): 79-83.
[13]	施寅生，王峰，齐璇. 一种新颖的Web服务安全性测试方法[J]. J4, 2010, 32(9): 81-83.
[14]	周志远, 张大方, 缪力. 基于Java内存模型的并发程序模型检测[J]. J4, 2010, 32(3): 111-114.
[15]	吴湘宁1,胡成玉1,汪渊2. 蚁群智能模型检测算法[J]. J4, 2010, 32(12): 76-79.

Angr动态软件测试应用分析与优化

Analysis and optimization of Angr in

dynamic software test application

PDF

可视化

摘要/Abstract

引用本文

使用本文

相关文章 15

编辑推荐

Metrics

本文评价