动态测试生成中的自动部分循环摘要

白盒模糊测试将基于符号执行和约束求解的动态测试生成从单元测试扩展到整个应用程序的安全测试。不幸的是，依赖输入的循环可能会导致需要解决的约束数量和需要探索的执行路径数量激增。在实践中，由于输入依赖的循环，白盒模糊测试工具随意限制约束和路径的数量，冒着错过代码和漏洞的风险。