基于警报关联摘要的过程间警报关联分析

扫码查看

原文链接

万方数据
维普

中文摘要：针对函数与函数之间存在警报间关联关系的问题,论文提出警报关联摘要来实现函数间分析,并利用该警报关联摘要实现过程间警报关联,通过该方法能够有效减轻人工判定警报的工作量.论文首先通过采用警报关联摘要实现函数调用的过程间分析,接着在调用点处进行警报关联摘要实例化得出警报对应的符号表达式及取值区间,分析警报间对应的符号表达式的逻辑关系得出关联关系,最后根据警报间的关联关系对警报进行判定.通过对5个实际C工程的测试结果表明,论文所提方法可以有效识别过程间警报关联关系,能够在一定程度上有效减轻人工判定警报的工作量.

外文标题：A Warnings Correlation Analysis Based on Warnings Correlation Summary

作者：

张莉、董玉坤、刘浩、尹文静

展开 >

作者单位：

中国石油大学(华东)计算机科学与技术学院青岛 266580

关键词：

静态分析缺陷检测程序语义缺陷警报关联摘要警报关联

出版年：

2022

DOI：

10.3969/j.issn.1672-9722.2022.04.027

计算机与数字工程

中国船舶重工集团公司第七0九研究所

计算机与数字工程

CSTPCD

影响因子：0.355

ISSN：1672-9722

年,卷(期)：2022.50(4)

参考文献量5