符号执行技术相关论文
近些年来,整数溢出漏洞迅速增长,给计算机系统带来严重威胁.针对软件中复杂条件分支导致的路径爆炸问题给漏洞检测带来的困难,本文......
随着计算机应用的不断发展,软件作为信息系统的实现载体,已广泛应用在现代社会的各个领域,软件中的任何安全漏洞都可能导致非常严......
在现代软件测试中,单元测试是一种重要的测试方法。它对软件中的最小单元即函数模块进行测试。任何函数模块都不是独立的,可能需要......
符号执行技术是一种动态程序分析技术,具有代码覆盖率高和不会产生误报的优点。将符号执行技术应用于漏洞检测领域时,其追求代码覆......
由于现有基于符号执行的测试用例生成方法无法对关于字符串的测试用例生成提供有效支持，因此提出并实现了基于符号执行与混合约束求......
软件漏洞的研究是信息安全的一个重要分支。漏洞挖掘的主要方法是通过精心构造测试数据输入程序来触发漏洞,由此可见如何生成测试......
本文介绍了一个构造TD-P对(测试数据——路径对)的测试策略,首次将符号执行技术应用到由Prather R.E.等人提出的路径前缀测试策略......
符号执行技术是一种被应用在串行和并发程序上的系统测试技术。但是在并发环境下传统符号执行会产生状态空间爆炸问题,测试效率会......
