《表1 故障注入实验数据：一种检测控制流错误的多层分段标签方法》

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

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

《一种检测控制流错误的多层分段标签方法》

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

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

RCFC是一种双标签算法，在O型基本块插桩标签G1，在M型基本块插桩G2。其G2标签仅使用1和0这2个数来区分标签类型，不具备唯一性。且标签更新函数为“store”赋值语句而非运算，容易将标签错误掩盖，故存在着较高的漏检率。CEDBR是基于RCFC的改进算法，在标签更新上进行了改进。CED-BR在基本块内部使用加减运算进行G1标签更新，尽管开销增加，但显著提高了检错率。另一方面，CEDBR的G2标签仍使用1和0，只能区分基本块类型，不具备唯一性，这导致CEDBR仍然存在漏检情况。CFCSS则是一种传统的单标签方法，但是为了解决基本块多前驱矛盾，引入了变量D来对标签进行更新，导致开销增大。CFMSL作为一种单标签方法，却通过分段的形式起到了双标签的作用。将基本块划分层级后，跨层的错误跳转可以通过层号段检测出来，同层的错误跳转可以通过标签值段进行检测。CFMSL使用XOR和OR运算的组合，在不添加任何指令和标签的情况下成功解决了基本块多前驱矛盾问题，最后又使用标签更新规则保证了标签更新过程的唯一性。这使得CFMSL在具备较高检错率的同时具有较低的开销。