《表4 部分含参switch()分阶段执行后的复杂度》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

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

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

此部分实验选用符号执行工具KLEE 2.0，CPU为Intel（R）Core（TM）i5-3320M 2.60 GHz、内存为16 GB、Ubuntu 16.04.11 LTS、内核版本为5.4.0-6，编译器clang version 6.0.1，与KLEE相关如llvm6.0，clang6.0。实验首先对将VCC>Ф（Ф设为50）的switch（）函数调用采用剪枝处理（会影响代码调用，但会简化与其对应的执行树），VCC值越大该方法越有益。此外，实验中对于case语句非常多的情况，采用简单以Ф值为上限的简单分割方法，分割后代码段的VCC≤Ф；分阶段动态符号执行后的数据及原因分析如表4所示。