符号执行往往与哪些污点分析的测试技术密切结合？

符号执行往往与静态污点分析和动态污点分析的测试技术密切结合。静态污点分析通过分析程序的源代码或二进制代码，在不执行程序的情况下检测可能存在的污点传播路径。动态污点分析则通过执行程序并跟踪污点传播路径，来检测实际的污点传播情况。符号执行可以为这两种污点分析提供更全面的覆盖率和更高的准确性，同时还可以自动生成针对污点传播路径的测试用例。