符号执行技术相关论文
随着计算机应用的不断发展,软件作为信息系统的实现载体,已广泛应用在现代社会的各个领域,软件中的任何安全漏洞都可能导致非常严......
在现代软件测试中,单元测试是一种重要的测试方法。它对软件中的最小单元即函数模块进行测试。任何函数模块都不是独立的,可能需要......
符号执行技术是一种动态程序分析技术,具有代码覆盖率高和不会产生误报的优点。将符号执行技术应用于漏洞检测领域时,其追求代码覆......
近年来，软件漏洞都是各种网络攻击的主要根源，它不仅是病毒、蠕虫等的重要传播途径，也是网络攻防的攻击焦点，绝大多数的网络入侵都是基......
由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持，因此提出并实现了基于符号执行与混合约束求......
软件漏洞的研究是信息安全的一个重要分支。漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试......
符号执行技术是一种被应用在串行和并发程序上的系统测试技术。但是在并发环境下传统符号执行会产生状态空间爆炸问题,测试效率会......
