PDF《一种场景敏感的高效错误检测方法》

3 倍和

46 倍.平均误报率仅为 24%,是Clang-sa 和Saturn 平均误报率的 1/3 左右,且没 有漏报已知错误. 第1节介绍术语.第2节阐述场景敏感检测方法的全貌及 Minerva 框架,并讨论如何对潜在错误语句进行分 类,以及如何基于这样的分类进行相应的检测算法设计.第3节给出场景敏感检测效益模型.第4节是原型系统 的实现.第5节给出实验结果,包括实验环境和实验用例.第6节是相关工作.最后对全文进行总结. 3: if (iax_tree) { 4: proto_item*ti, *ie_item=NULL;

1: static guint32 dissect_ies (tvbuff_t*tvb, guint32 offset, 7: case IAX_IE_DATETIME: 8: ... 6: switch(ies_type) { 10: ... 9: case IAX_IE_CAPABILITY: 11: case IAX_IE_APPARENT_ADDR: 12: ... 13: switch(apparent_addr_family) { 14: case LINUX_AF_INET: 15: ... 16: } 17: default: 18: if (ie_hf!=-1 ) 19: ... 20: else { 21: ... 22: switch(ies_len) { 23: case 1: 25: case 2: 26: ... 27: case 4: 29: default: 30: ... 31: } 32: } 34: DISSECTOR_ASSERT(ie_item!=NULL);

35: if (!PROTO_ITEM_IS_HIDDEN(ti)) { 36: field_info*ie_finfo=PITEM_FINFO(ie_item);

38: } 39: } 37: ... 错误目标 错误源 33: } 24: ... 2: ... proto_tree*iax_tree, iax2_ie_data*ie_data) { 5: ... 28: ... 衷璐洁 等:一种场景敏感的高效错误检测方法

475 1 术语有一类重要的错误,它们通常表现为在变量的定值点分配给变量一个不安全(unsafe)的值,并且这个不安全 的值会沿着至少一条执行路径流向该变量的引用点,从而触发一个错误.对这样一类错误,本文称为定值-引用 类错误.定值-引用类错误中的引用点被称为错误目标(s........