基于符号表达式的程序语义缺陷警报关联识别方法
DOI:
作者:
作者单位:

作者简介:

通讯作者:

中图分类号:

TP311

基金项目:

国家自然科学基金项目(面上项目,重点项目,重大项目)


A Correlation Recognition Method of Program Semantic Defect Warnings Based on Symbolic Expression
Author:
Affiliation:

Fund Project:

The National Natural Science Foundation of China (General Program, Key Program, Major Research Plan)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

    针对程序静态缺陷检测存在高误报需要耗费大量人力消除的问题,提出了一种程序语义缺陷警报关联的方法,通过挖掘警报间的深层次关联信息建立警报关联,有助于提升人工判定警报的效率。本文首先采用符号表达式与区间表示一个变量的取值,并基于符号表达式的逻辑关系建立了警报间的关联推导规则,然后在缺陷检测阶段根据缺陷触发条件识别出警报并推导出不同警报间的关联,最后根据警报间的关联关系对警报进行自动判定。通过对5个实际C工程的测试结果表明,本文所提方法可以有效识别出警报间的关联关系,能够有效减轻人工判定警报的工作。

    Abstract:

    Aiming at the problem that high false positives in program static defect detection requires to be eliminated by lots of manpower, a correlation recognition method of program semantic defect warnings is proposed. By mining the deep correlation information between warnings, the warnings correlation is established, which helps to improve the manual judgment warning’s efficiency. In this paper, the symbolic expression and domain are used to represent the value of a variable, and the correlation derivation rule between warnings is established based on the logical relationship of the symbol expression. Then, in the defect detection phase, the warning is identified according to the defect trigger condition, and the correlation between different warnings is derived. Finally, the warning is automatically determined based on the correlation between the warnings. The test results of five actual C projects show that the proposed method can effectively identify the relationship between warnings and effectively reduce the work of manually determining warnings.

    参考文献
    相似文献
    引证文献
引用本文

王淑栋,刘浩,董玉坤,等. 基于符号表达式的程序语义缺陷警报关联识别方法[J]. 科学技术与工程, 2020, 20(9): 3648-3655.
Wang Shudong, Liu Hao, Dong Yukun, et al. A Correlation Recognition Method of Program Semantic Defect Warnings Based on Symbolic Expression[J]. Science Technology and Engineering,2020,20(9):3648-3655.

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2019-06-26
  • 最后修改日期:2019-12-27
  • 录用日期:2019-10-20
  • 在线发布日期: 2020-05-14
  • 出版日期:
×
律回春渐,新元肇启|《科学技术与工程》编辑部恭祝新岁!
亟待确认版面费归属稿件,敬请作者关注