为了克服现有 Fuzzing 技术对目标程序缺乏理解、测试完全随机且盲目的缺点,提出了新方法:基于动态符号执行的智能测试技术。

先通过静态分析获得危险点,然后通过符号执行收集路径条件,最后利用约束求解工具求解能够执行到指定路径的测试数据进行测试.