摘要
随着我国科学技术与信息技术的快速发展,人们对网络安全问题也提高了重视。软件漏洞是网络安全问题的主要根源之一,也成为相关研究人员最关注的热点话题。动态符号是研究比较多的漏洞检测技术,也是使用最为广泛的检测技术,通过动态符号的方式来选择搜索策略,从而有效避免反复搜索。笔者就对动态符号执行中搜索策略的选择与改进进行具体的分析,希望能为以后该方面的工作提供一些帮助。
With the rapid development of science technology and information technology, cyber security has also been taken seriously. Software vulnerability is the main source of network security problem, it has also become a hot topic for researchers. Dynamic symbol is the more exploitative detection techniques, and is also the most widely used detection technology. Through the dynamic way to select the search strategy, which effectively avoid repeated search. The author analyzes the selection and improvement of search strategy in dynamic symbol execution, and hopes to provide some help for the future work.
引文
[1]蔡军,邹鹏,马金鑫.基于禁忌搜索的动态符号执行方法[J].北京航空航天大学学报,2015(12).
[2]董齐兴.基于动态符号执行的测试用例生成技术研究[D].合肥:中国科学技术大学,2014.