【摘 要】
：
针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报
【机 构】
：
中国石油大学（华东）计算机科学与技术学院
【基金项目】
：
国家自然科学基金(61572522,61873281),中央高校基本科研业务费专项(19CX02028A)
论文部分内容阅读
针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。
其他文献
大气能见度对航空、航海、路上交通、军事活动等有重要的影响。图像法测量能见度是新兴的一种方法,但图像在成像和传输过程中,由于相机载体的运动、振动、抖动等原因,引起图像模糊,影响后续的目标识别,因此,有必要对图像进行复原处理。提出一种基于刃边函数和最优窗维纳滤波的模糊图像复原算法,通过构建刃边函数来估计点扩散函数,并通过倒频谱方法估计模糊尺度和模糊角度,进而分解得到水平和垂直模糊分量,据此进行图像边缘
很少有人会将“吃”与“睡眠”联系起来，但不少失眠者恰恰是因为在睡前或是在白天吃了“不合时宜”的食物而导致了夜晚辗转反侧。
为了降低汽车等运输工具零部件的制造成本，大同特殊钢公司开发了冷锻软氮化用钢以取代热锻用钢。在确保能获得可进行冷锻的硬度这一前提下，降低了该钢的C、Si含量；同时，为了优化
计算机辅助设计与制造技术(CAD/CAM)在制造业的各个领域中发挥着越来越重要的作用,为提高整体式刀具的设计和制造效率,对整体式刀具CAD/CAPP/CAM集成的理论和方法进行了研究和探索,并在此基础上开发了基于Pro/E的整体式刀具CAD/CAPP/CAM集成系统。
农业生产标准化是指根据市场需求通过制定产品标准和作业实施标准，把农业生产的产前、产中、产后全过程纳入标准生产和标准管理轨道的一项基础工作，是农业发展新阶段的必然选择和现代化农业的迫切需要。青贮玉米在我省面积逐年扩大，其标准化技术与推广工作在农业生产中至关重要，现就该项技术与推广工作经验介绍如下： 1提高重视和加大宣传 青贮玉米生产做为富民工程的重要配套产业，各级领导要重视，市、（乡镇）、村领导
我国农业为国民经济建设中的重要基础,因此,农业发展情况与我国经济发展有着较为直接的关系,所以,想要促进我国农业快速发展,就必须做好农田水利工程的建设工作。笔者介绍了
《红高粱》问世以来,评论雀起:尤其对影片中野合场景,更是众说纷纭、莫衷一是。有人说:『野合』是反封建、争自由的大胆之举,充满了生机勃勃的人性美,也有人说:『野合』是贬
形状记忆合金与热双金属都具有随温度变化而发生位移(形状)变化的特性,本文在解释了两者的一般概念、简单机制、并列举应用以后,对两者的性能进行了比较。
基于虚拟仪器语言的开发环境，研制了可编程电源的监控软件，该软件能够使监控系统通过GPIB卡及SCPI命令实现对可编程电源输出的控制。讨论了监控软件的总体设计思想、程序编写方
异地协同设计是典型的多用户参与的多任务分布式系统，用户之间存在大量的协作过程。安全性是协同设计实施的关键议题，基于协同设计系统的安全问题，提出在该系统下的安全策略和基