《表2 Movec、SoftBoundCets、Cruiser对比》

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

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

《面向多线程程序的内存安全运行时验证》

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

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

由于需要检测C程序的内存安全问题，所以我们需要对不同的内存安全类型进行检测。为此我们使用SARD (Software Assurance Reference Datase）作为多线程的C语言进行内存安全的测试集。然后将本文的工具和SoftBoundCets[12-13]工具、Cruiser[14]工具进行比较。实验结果如表2所示。SoftBC指SoftBoundCets，Cru指Cruiser。