面向软件缺陷检测的静态分析技术

来源 :低碳世界 | 被引量 : 0次 | 上传用户:nicolewyy
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
静态检测工具目前面临严重的误报、重报、漏报等问题,针对这些问题本文将拟建一个以静态检测工具为基础的检测模型,用以模拟缺陷检测。该软件可以针对静态检测工具所得结果开展多级处理,通过此方法避免检测工具的重报、漏报、误报,最后,采用两种静态检测工具所得结果应用于这个模型,通过模拟证实该模型可以有效避免以上问题,大大增强了工具的可操作性和实用性以及结果的可靠性。
其他文献
分析了库存地址选择的主要因素及目标权重分配方法,采用层次分析法的一致性矩阵对各个方案进行定量和定性相结合的评定,探讨了把层次分析法(AHP)作为确定指标权重的实现过程,
英国女作家弗吉尼亚·伍尔夫的《自己的一间屋》充满激烈的女性主义思想,并阐述了女性的生存问题,引发女性对自身状况的思考。伍尔夫认为,女性只有"成为自己",拥有"自己的一
<正>头皮脑电图对颅内功能性病变的正确定位,在癫痫外科和癫痫正确选择用药起到了一个非常重要的作用。颅内功能性病变具有较器质性病变范围大、多变、并且异常波易游走的特
会议
摘要目的:探讨对胆肠吻合术后胆管残余结石合并感染的有效治疗方法。方法:12例胆肠吻合术后胆管残余结石并感染病人再手术,经吻合口胆管探查,利用纤维胆道镜尽可能取干净结石,复原
目的:讨论电击伤患者在治疗期间接受整体护理干预的临床效果。方法:抽取以往在我院接受治疗的86例电击伤患者,随机分为对照组和观察组,平均每组43例。对照组实施常规护理干预
英国意识流小说家弗吉尼亚·伍尔夫一生主要经历了三次严重的精神分裂,令人困惑不解的是,伍尔夫几乎每次发病都是在她新的作品完成后不久。因此,有些评论家将她的经历神秘化
南郊小学为提高家长学校校本课程建设能力,力求加强家长学校的优质化办学和特色化办学,促进"幸福相约"家长学校特色品牌建设,进行了"幸福相约"家长学校校本课程的开发与构建
本文通过对云存储的分析,提出了利用云存储技术在财务软件操作中增强数据库存量,加强会计数据的准确性以及建立企业业务数据资料库等三个方面提升其数据处理效率的问题。