基于圈复杂度的阶段动态符号执行

基于圈复杂度的阶段动态符号执行基于圈复杂度的阶段动态符号执行摘要：符号执行是一种用于静态程序分析的技术，通过对程序进行符号计算，可以达到全面而深入的测试覆盖效果。然而，传统的符号执行在路径爆炸问题上存