简介： 本发明提供一种基于符号执行的模糊测试方法，模糊测试工具首先启动符号执行和分析程序；所述符号执行和分析程序构建于二进制层面；符号执行和分析程序接收到请求后调用污点分析程序进行基于二进制符号的污点分析；污点分析程序完成污点分析后生成被污染指令的记录文件，并存放记录文件于模糊测试工具输出目录下的符号执行和分析程序中；符号执行和分析程序分析记录文件通过启发式算法识别记录文件结构得到字段和数据块信息，构建操作数依赖图；符号执行和分析程序按照逆拓扑序遍历操作数依赖图，对每一条二进制指令建立符号化表达完成混合符号执行后回应模糊测试工具。本发明减少了污点分析和符号执行过程中信息的丢失，效率良好，准确度高。