【摘 要】
：
定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同
【机 构】
：
中国科学院计算技术研究所计算机体系结构国家重点实验室,首都师范大学信息工程学院,中国科学院大学,中国科学院信息工程研究所第五研究室
【基金项目】
：
国家自然科学基金(61100011,61202055,61303053);国家自然科学基金创新研究群体科学基金(60921002);国家高技术研究发展计划(863)(2012AA010901)
论文部分内容阅读
定值-引用类错误是一类非常重要且常见的错误.当前,对这类错误的检测很难同时达到高精度和高可扩展性.通过合理组合敏感和不敏感的检测方法并控制两类方法的实施范围,可以同时达到高检测精度和高可扩展性.提出一种新颖的场景敏感的检测方法,该方法根据触发状态对潜在错误语句分类,识别不同类别语句的触发场景并实施不同开销的检测,在不降低精度的同时最小化检测开销.设计了一个多项式时间复杂度的流敏感、域敏感和上下文敏感的场景分析以进行分类,并基于程序依赖信息识别触发场景,仅对必要的触发场景实施路径敏感的检测.为上述方法实现了一种原型系统——Minerva.通过使用空指针引用错误检测为实例研究以及总代码规模超过290万行,最大单个应用超过200万行的应用验证,用例实验结果表明,Minerva的平均检测时间比当前先进水平的路径敏感检测工具Clang-sa和Saturn分别快3倍和46倍.而Minerva的误报率仅为24%,是Clang-sa和Saturn误报率的1/3左右,并且Minerva未发现漏报已知错误.上述数据表明,所提出的场景敏感的错误检测方法可同时获得高可扩展性和高检测精度.
其他文献
本文通过介绍用新型介电谱仪的实验方法,研究不同物理材料电介质的介电常数,进而更深一步了解介电常数所引发的电介质广阔领域.
通过红外光谱测量，研究了原生区熔硅单晶、中子辐照区熔硅单昌以及热处理后的中子辐照区熔硅单晶的中心部位与边缘部位之间的红外吸收差谱。根据这些红外吸收谱，讨论了区熔硅单
通过运用估计的效率和广义相关系数,讨论了一般Gauss-Markoff模型中最小二乘估计(LSE)和最小方差线性无偏估计(BLUE)的关系。在M(X)M(V)的条件下,求出了效率e(c)的下界的估计
热带海洋环境条件下,为防止护岸大体积混凝土发生开裂导致结构外观和耐久性下降,通过对结构进行开裂风险评估分析,确定外约束引起大体积混凝土开裂风险较小,导致护岸大体积混
针对传统矿井有轨辅助运输存在的结构复杂、操控不易、效率不高且在斜坡工作面安全系数低下等问题,以新型矿井无轨列车为研究对象,建立AMESim与Simulink联合仿真平台,研究实
<正> 11.Clone 克隆单个细胞通过有丝分裂形成的细胞群体。一个克隆不一定是均质的。因此,“克隆”或“克隆的(Cloned)”不能用来说明细胞群体的均质性(包括遗传性上的均质性
针对影响冷拌超薄磨耗层沥青混凝土性质的因素众多,为提高整体性能,采用了不同水性环氧掺量,油石比,水泥掺量,设计正交试验进行冷拌沥青混凝土的制备,考察了混凝土的强度、低
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
当公平成为一个社会普遍而强烈的诉求时，那就表明这既是一种进步，同时也是一种隐忧。进步在于全社会有了基本的平等观，隐忧则在于公平已经成为这个社会亟待解决的突出问题。由于
本文从宏观性、整体性的视角出发，对财务管理概念框架进行了三个层面的批判反思，认为其存在着结构体系模糊与残缺、经济学与管理学定位冲突，以及苏式财务与西式财务不同理论渊源