《表3 字符串约束求解对照实验Table 3 String SMT controlled experiment result》

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

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

《基于符号执行的注入类安全漏洞的分析技术》

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

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

说明:√表示成功运行测试用例，×表示未成功运行测试用例。

在已有的评测工作中，CVC4和Z3-Str2明显优于其他字符串约束求解器[24，26]，并持续改进，具有较好的代表性。因此，我们选用CVC4和Z3-Str2字符串约束求解器分别作为对照实验的参照物。字符串约束求解器的评测硬件环境是Intel Core i7-4770 3.40 G，32 G RAM，256 G SSD，操作系统为Window 7 Ultimate 64位。评测结果如表3所示。