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

摘要

为了缓解动态符号执行不可避免的路径爆炸等问题,提出了基于圈复杂度的阶段动态符号执行CCSDSEM优化算法。该算法通过计算约束判定条件为真的数量来衡量代码的圈复杂度,然后依据圈复杂度的阈值进行分阶段动态符号执行,使动态符号执行梯度进行,缓解路径选择指数爆炸,合理缩放符号执行。最后在KLEE中实现CCSDSEM框架,并对测试程序做了检测。CCSDSEM将符号执行的运行时间显著缩短,提升了生成测试用例的数量。