《表2 实验结果：安全C语言验证器中形状系统的形状检查方法》
提示：宽带有限、当前游客访问压缩模式
实验在如下平台中进行:Windows 10 PC，Intel Core i7-6700 3.4GHz CPU和8GB DDR4内存，形状检查方法正确识别了所有用例的形状级别，结果如表2所示.
| 图表编号 | XD0045014500 严禁用于非法目的 |
|---|---|
| 绘制时间 | 2019.01.01 |
| 作者 | 孙科、罗奇鸣、李薛剑、陈意云 |
| 绘制单位 | 中国科学技术大学计算机科学与技术学院、中国科学技术大学计算机科学与技术学院、中国科学技术大学计算机科学与技术学院、中国科学技术大学计算机科学与技术学院 |
| 更多格式 | 高清、无水印（增值服务） |
