On Limitations of Modern Static Analysis Tools

被引:2
|
作者
Walker, Andrew [1 ]
Coffey, Michael [1 ]
Tisnovsky, Pavel [2 ]
Cerny, Tomas [1 ]
机构
[1] Baylor Univ, Comp Sci, Waco, TX 76798 USA
[2] Red Hat Czech, FBC Purkyova 99, Brno 61200, Czech Republic
来源
INFORMATION SCIENCE AND APPLICATIONS | 2020年 / 621卷
基金
美国国家科学基金会;
关键词
Static; Analysis; Multi-repository; Automation;
D O I
10.1007/978-981-15-1465-4_57
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Static analysis is one of the most important tools for developers in the modern software industry. However, due to limitations by current tools, many developers opt out of using static analysis in their development process. Some of these limitations include the lack of a concise, coherent overview, missing support for multiple repository applications and multiple languages and lastly a lack of standardized integration mechanisms for third-party frameworks. We propose an evaluation metric for static analysis tools and offer a comparison of many common static analysis tools. To demonstrate the goal of our metric we introduce the Fabric8-Analytics Quality Assurance Tool as a benchmark of a tool which successfully passes our evaluation metric. We demonstrate usage of this tool via a case study on the Fabric8-Analytics Framework, a framework for finding vulnerabilities in application dependencies. We issue a challenge to developers of modern static analysis tools to make their tools more usable and appealing to developers.
引用
收藏
页码:577 / 586
页数:10
相关论文
共 50 条
  • [41] Benefits and limitations of static headspace and purge-and-trap for the analysis of VOCs
    Harrington, D
    Kancler, J
    LC GC NORTH AMERICA, 2003, : 34 - 34
  • [42] Comparison of Static Analysis Tools for Quality Measurement of RPG Programs
    Toth, Zoltan
    Vidacs, Laszlo
    Ferenc, Rudolf
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2015, PT V, 2015, 9159 : 177 - 192
  • [43] How developers engage with static analysis tools in different contexts
    Carmine Vassallo
    Sebastiano Panichella
    Fabio Palomba
    Sebastian Proksch
    Harald C. Gall
    Andy Zaidman
    Empirical Software Engineering, 2020, 25 : 1419 - 1457
  • [44] Static analysis tools for soft-core reviews and audits
    Olcoz, S
    Castellvi, A
    Garcia, M
    Gomez, JA
    DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 935 - 936
  • [45] Difficult XSS Code Patterns for Static Code Analysis Tools
    Schuckert, Felix
    Katt, Basel
    Langweg, Hanno
    COMPUTER SECURITY: ESORICS 2019 INTERNATIONAL WORKSHOPS, IOSEC, MSTEC, AND FINSEC, 2020, 11981 : 123 - 139
  • [46] How Should Static Analysis Tools Explain Anomalies to Developers?
    Barik, Titus
    FSE'16: PROCEEDINGS OF THE 2016 24TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON FOUNDATIONS OF SOFTWARE ENGINEERING, 2016, : 1118 - 1120
  • [47] Using code reviews to automatically configure static analysis tools
    Zampetti, Fiorella
    Mudbhari, Saghan
    Arnaoudova, Venera
    Di Penta, Massimiliano
    Panichella, Sebastiano
    Antoniol, Giuliano
    EMPIRICAL SOFTWARE ENGINEERING, 2022, 27 (01)
  • [48] Automatic generation tools of training set for static performance analysis
    Yang, Bo
    Wang, Wenjun
    Chen, Wenguang
    Zheng, Weimin
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 1999, 20 (11): : 809 - 812
  • [49] Context Is King: The Developer Perspective on the Usage of Static Analysis Tools
    Vassallo, Carmine
    Panichella, Sebastiano
    Palomba, Fabio
    Proksch, Sebastian
    Zaidman, Andy
    Gall, Harald C.
    2018 25TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ANALYSIS, EVOLUTION AND REENGINEERING (SANER 2018), 2018, : 38 - 49
  • [50] Preliminary results on using static analysis tools for software inspection
    Nagappan, N
    Williams, L
    Hudepohl, J
    Snipes, W
    Vouk, M
    15TH INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING, PROCEEDINGS, 2004, : 429 - 439