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 条
  • [21] LIMITATIONS OF STATIC ECONOMIC THEORY IN FARM MANAGEMENT ANALYSIS
    James, H. B.
    JOURNAL OF FARM ECONOMICS, 1950, 32 (04): : 1113 - 1124
  • [22] Analysis of static parameters in retrospective studies: limitations and interpretation
    Yanfei Shen
    Critical Care, 27 (1):
  • [23] A static analysis approach for modern iterator development
    Kolozsvari, Daniel
    Pataki, Norbert
    ANNALES MATHEMATICAE ET INFORMATICAE, 2023, 59 : 37 - 53
  • [24] Modern Tool Limitations in Design Automation Advancing automation in design tools is gathering momentum
    Bindra, Ashok
    Mantooth, Alan
    IEEE POWER ELECTRONICS MAGAZINE, 2019, 6 (01): : 28 - 33
  • [25] Automatic Testing and Benchmarking for Configurable Static Analysis Tools
    Mordahl, Austin
    PROCEEDINGS OF THE 32ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS, ISSTA 2023, 2023, : 1532 - 1536
  • [26] Foundations and Tools for the Static Analysis of Ethereum Smart Contracts
    Grishchenko, Ilya
    Maffei, Matteo
    Schneidewind, Clara
    COMPUTER AIDED VERIFICATION (CAV 2018), PT I, 2018, 10981 : 51 - 78
  • [27] Utilizing modern tools for effective SAR analysis
    Mounteney, Philip
    Mansley, Tamsin E.
    Sager, Jess W.
    ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2014, 248
  • [28] Comparison of static analysis tools for finding concurrency bugs
    Manzoor, Numan
    Munir, Hussan
    Moayyed, Misagh
    23RD IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING WORKSHOPS (ISSRE 2012), 2012, : 129 - 133
  • [29] An Easy to Use Infrastructure for Building Static Analysis Tools
    Dudka, Kamil
    Peringer, Petr
    Vojnar, Tomas
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2011, PT I, 2012, 6927 : 527 - 534
  • [30] About Static Analysis of Joints at Machine Tools.
    Lieber, H.
    Tanner, A.
    Maschinenbautechnik, 1986, 35 (10): : 452 - 458