论文研究面向源代码的导向Concolic测试方法研究.pdf

对规模较大的程序进行安全测试过程中，Concolic测试常面临路径爆炸和求解能力不足等问题。为缓解此类问题，提出一种面向源代码的导向Concolic测试方法。针对容易产生缺陷的危险代码区域，依据控制流和数据流属性，采用回溯的方式推导出静态可达路径信息和必要的符号变量，实现仅针对危险代码区域的覆盖测试。实证研究结果表明，通过规避对不关心路径和符号变量的分析，所提方法显著提升了覆盖测试危险代码区域的效率和发现缺陷的概率。