InfERL: Scalable and Extensible Erlang Static Analysis

被引：3
|
作者：
Hajdu, Akos [1 ]
Marescotti, Matteo [1 ]
Suzanne, Thibault [1 ]
Mao, Ke [1 ]
Grigore, Radu [1 ]
Gustafsson, Per [1 ]
Distefano, Dino [1 ]
机构：
[1] Meta, London, England
来源：
PROCEEDINGS OF THE 21ST ACM SIGPLAN INTERNATIONAL WORKSHOP ON ERLANG, ERLANG 2022 | 2022年
关键词：
Erlang; static analysis; Infer;
D O I：
10.1145/3546186.3549929
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
In this paper we introduce InfERL, an open source, scalable, and extensible static analyzer for Erlang, based on Meta's Infer tool. InfERL has been developed at WhatsApp and it is deployed to regularly scan WhatsApp server's Erlang codebase, detecting reliability issues and checking user-defined properties. The paper describes the Erlang specific technical challenges we had to address and our design choices. We also report on our experience in running InfERL on Erlang code at scale, supporting the messaging app used everyday by over 2 billion people.
引用
收藏
页码：33 / 39
页数：7
相关论文
共 50 条
  • [1] Scalable and Extensible Static Memory Safety Analysis with Summary Over Access Path
    Chen, Guang
    Zhou, Min
    Sun, Jiaguang
    Song, Xiaoyu
    [J]. 2018 25TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2018), 2018, : 298 - 304
  • [2] Extensible and Scalable Architecture for Hybrid Analysis
    Miltenberger, Marc
    Arzt, Steven
    [J]. PROCEEDINGS OF THE 12TH ACM SIGPLAN INTERNATIONAL WORKSHOP ON THE STATE OF THE ART IN PROGRAM ANALYSIS, SOAP 2023, 2023, : 34 - 39
  • [3] BIOMERO: A scalable and extensible image analysis framework
    Luik, Torec T.
    Rosas-Bertolini, Rodrigo
    Reits, Eric A. J.
    Hoebe, Ron A.
    Krawczyk, Przemek M.
    [J]. PATTERNS, 2024, 5 (08):
  • [4] Improving security using extensible lightweight static analysis
    Evans, D
    Larochelle, D
    [J]. IEEE SOFTWARE, 2002, 19 (01) : 42 - +
  • [5] A Scalable and Extensible Blockchain Architecture
    Yu, Yue
    Liang, Ran
    Xu, Jiqiu
    [J]. 2018 18TH IEEE INTERNATIONAL CONFERENCE ON DATA MINING WORKSHOPS (ICDMW), 2018, : 161 - 163
  • [6] Evaluating Scalable Distributed Erlang for Scalability and Reliability
    Chechina, Natalia
    MacKenzie, Kenneth
    Thompson, Simon
    Trinder, Phil
    Boudeville, Olivier
    Fordos, Viktoria
    Hoch, Csaba
    Ghaffari, Amir
    Hernandez, Mario Moro
    [J]. IEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS, 2017, 28 (08) : 2244 - 2257
  • [7] Static Detection of Race Conditions in Erlang
    Christakis, Maria
    Sagonas, Konstantinos
    [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS, 2010, 5937 : 119 - 133
  • [8] A semi-automatic extensible static defect analysis tool
    Liang, Guang-Tai
    Meng, Na
    Li, Jin-Hui
    Zhong, Hao
    Zhang, Lu
    Wang, Qian-Xiang
    [J]. Jisuanji Xuebao/Chinese Journal of Computers, 2011, 34 (06): : 1114 - 1125
  • [9] ECSTATIC: An Extensible Framework for Testing and Debugging Configurable Static Analysis
    Mordahl, Austin
    Zhang, Zenong
    Soles, Dakota
    Wei, Shiyi
    [J]. 2023 IEEE/ACM 45TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, ICSE, 2023, : 550 - 562
  • [10] AN EXTENSIBLE STATIC ANALYSIS METHOD USING DEFECTS DESCRIPTION LANGUAGE
    Zhu Tian-qing
    [J]. DCABES 2009: THE 8TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED COMPUTING AND APPLICATIONS TO BUSINESS, ENGINEERING AND SCIENCE, PROCEEDINGS, 2009, : 382 - 385
12345