符号执行技术相关论文
随着计算机应用的不断发展,软件作为信息系统的实现载体,已广泛应用在现代社会的各个领域,软件中的任何安全漏洞都可能导致非常严......
在现代软件测试中,单元测试是一种重要的测试方法。它对软件中的最小单元即函数模块进行测试。任何函数模块都不是独立的,可能需要......
符号执行技术是一种动态程序分析技术,具有代码覆盖率高和不会产生误报的优点。将符号执行技术应用于漏洞检测领域时,其追求代码覆......
