A Framework for Combining and Ranking Static Analysis Tool Findings Based on Tool Performance Statistics

被引：11
|
作者：
Xypolytos, Achilleas [1 ,2 ]
Xu, Haiyun [1 ]
Vieira, Barbara [1 ]
Ali-Eldin, Amr M. T. [2 ,3 ]
机构：
[1] Software Improvement Grp, Amstelpl 1, NL-1096 HA Amsterdam, Netherlands
[2] Leiden Univ, Leiden Inst Adv Comp Sci, POB 9512, NL-2300 RA Leiden, Netherlands
[3] Mansoura Univ, Comp & Syst Dept, Fac Engn, Mansoura, Egypt
来源：
2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY COMPANION (QRS-C) | 2017年
关键词：
D O I：
10.1109/QRS-C.2017.110
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper proposes a conceptual, performance-based ranking framework that prioritises the output of multiple Static Analysis Tools, to improve the tool effectiveness and usefulness. The framework weights the performance of Static Analysis Tools per defect type and cross-validates the findings between different Static Analysis Tools' reports. An initial validation shows the potential benefits of the proposed framework.
引用
收藏
页码：595 / 596
页数：2
相关论文
共 50 条
  • [21] Constantine: configurable static analysis tool in Eclipse
    Gawade, Makarand
    Ravikanth, K.
    Aggarwal, Sanjeev
    SOFTWARE-PRACTICE & EXPERIENCE, 2014, 44 (05): : 537 - 563
  • [22] STAC: A Tool for Static Textual Analysis of Code
    Khatiwada, Saket
    Kelly, Michael
    Mahmoud, Anas
    2016 IEEE 24TH INTERNATIONAL CONFERENCE ON PROGRAM COMPREHENSION (ICPC), 2016,
  • [23] GaSaver: A Static Analysis Tool for Saving Gas
    Zhao, Ziyi
    Li, Jiliang
    Su, Zhou
    Wang, Yuyi
    IEEE TRANSACTIONS ON SUSTAINABLE COMPUTING, 2023, 8 (02): : 257 - 267
  • [24] A tool for performance evalution in a formal codesign framework
    Carchiolo, V
    Malgeri, M
    Mangioni, G
    SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2003, 79 (09): : 494 - 514
  • [25] RCAT: A performance analysis tool
    Alzamil, Z
    19TH INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, PROCEEDINGS, 2004, : 366 - 370
  • [26] LLVM-Based Static Analysis Tool Using Type and Effect Systems
    Belyaev, M.
    Tsesko, V.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2012, 46 (07) : 324 - 330
  • [27] LLVM-based static analysis tool using type and effect systems
    M. Belyaev
    V. Tsesko
    Automatic Control and Computer Sciences, 2012, 46 (7) : 324 - 330
  • [28] Policy analysis on the fly with an online multicriteria cardinal ranking tool
    Larsson, Aron
    Fasth, Tobias
    Waernhjelm, Mathias
    Ekenberg, Love
    Danielson, Mats
    JOURNAL OF MULTI-CRITERIA DECISION ANALYSIS, 2018, 25 (3-4) : 55 - 66
  • [29] Mira: A Framework for Static Performance Analysis
    Meng, Kewen
    Norris, Boyana
    2017 IEEE INTERNATIONAL CONFERENCE ON CLUSTER COMPUTING (CLUSTER), 2017, : 103 - 113
  • [30] STATISTICS - A NEW TOOL FOR THE PLANNING AND ANALYSIS OF LABORATORY EXPERIMENTS
    FERRELL, EB
    PROCEEDINGS OF THE INSTITUTE OF RADIO ENGINEERS, 1950, 38 (02): : 195 - 195
12345