【摘 要】
：
误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据
【机 构】
：
北京邮电大学网络与交换技术国家重点实验室;
【基金项目】
：
国家“八六三”高技术研究发展计划基金项目(2012AA010101,2009AA012404);国家自然科学基金项目(91018002)
论文部分内容阅读
误报率是衡量静态缺陷检测工具的重要指标.在对比分析了各种误报消除技术的基础上,提出了一种前向数据流分析结合逆向约束搜索技术的误报消除方法:前向数据流分析的保守数据流解可以用于缺陷状态迭代,并得到初始的缺陷检测结果;根据缺陷发生处的数据流特征,逆向搜索可能导致缺陷发生的约束条件,该约束条件可以作为通用约束求解器的输入判断缺陷的可满足性,从而对初始的缺陷检测结果进行精化.同时,在数据流分析过程中引入符号执行技术,不仅提高了数据流分析的精度,且便于约束表示及转化,提高了约束搜索的效率.对SPECCPU2000中11个工程的对比实验表明,前向数据流分析与逆向约束搜索相结合的误报消除方法在增加了有限开销的同时有效地消除了部分误报,且与同类工具相比具有更好的可扩展性.
其他文献
语言禁忌作为一种社会文化现象，必然在文学作品中反映出来，有着一定的规律可寻。按照其产生的不同原因和性质对文学作品中的语言禁忌现象做分类研究，有利于读者对作品的理解和把
Fama(1991)认为资产的个体风险可以被投资组合分散,与超额收益无关;Merton(1987)认为不完全信息市场中,认知风险是超额收益率的主要来源。本文构造我国股票市场的认知风险指
目的：探讨改良式腹部按摩联合中药敷脐疗法对老年痰浊瘀阻型高脂血症患者血脂指标及中医证候积分的影响,观察该方法的安全性、有效性,以期为老年高脂血症患者提供又一种便捷、
有关环境考古学的一些方法ＣｏｌｉｎＲｅｎｆｒｅｗａｎｄＰａｕｌＢａｈｎ著靳桂云译（中国科学院地质研究所）环境考古是已经得到充分发展的一门学科，它将人类视为自然界的一部分并与生态系统中的其它物种相互影响。环境影响着
SF6全封闭组合电器(简称GIS)是一种新型组合成套高压配电装置,在电力系统中得到广泛的应用。本文介绍了SF6封闭式组合电器的特点及安装应注意的事项,确保设备良好运行。
针对在轨航天器柔性附件的热-动力学耦合系统，发展了一种基于更新Lagrange格式的非线性有限元分析方法。构造了一种一维温度杆单元，该单元通过增加节点自由度数能够同时得到薄
研究了强化瓷的坯釉料配方、组成以及α－Ａｌ２Ｏ３的粒度、矿化剂、保温时间和氧化物添加剂等对强化瓷结构和性能的影响。该种强化瓷经１３５０℃氧化气氛烧成，其结构包括：主晶相α－Ａｌ２Ｏ３、次晶相莫来石
通过对肺间质纤维化(PF)动物及临床实验研究结果的分析,发现瘀血内停是PF形成的重要病机、肺络痹阻是PF发病机制的深入认识、宗气虚陷是PF发病的关键因素,提出升补宗气、软坚
市场营销课程对于学生的应用性与实用性要求较强,在实践中通过案例教学的方式开展学习可以有效的提升学生的专业能力,达到提升学生综合素养的目的。基于此,文章主要对案例教
将掺加三乙醇胺、亚硝酸钠、氯化钙等防冻剂的干粉聚合物砂浆、液态聚合物砂浆和水泥砂浆与膨胀聚苯板粘结，在标准养护条件下养护7d后，置于0℃、-5℃、-10℃条件下受冻1d，测试粘