Static Detection of Race Conditions in Erlang

被引：0
|
作者：
Christakis, Maria [1 ]
Sagonas, Konstantinos [1 ]
机构：
[1] Natl Tech Univ Athens, Sch Elect & Comp Engn, GR-10682 Athens, Greece
来源：
PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, PROCEEDINGS | 2010年 / 5937卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We address the problem of detecting Sot ne commonly occurring kinds of race conditions in Er tang programs using static analysis. Our analysis is completely automatic, fast and scalable, and avoids false alarms by taking language characteristics into account. We have integrated our analysis in dialyzer, a commonly used tool for detecting software defects in Erlang programs which is part of Erlang/GTP, and evaluate its effectiveness and performance on a suite of widely used industrial and open source programs of considerable size. The analysis has detected a significant number of previously unknown race conditions.
引用
收藏
页码：119 / 133
页数：15
相关论文
共 50 条
  • [41] Automatic Detection and Validation of Race Conditions in Interrupt-Driven Embedded Software
    Wang, Yu
    Wang, Linzhang
    Yu, Tingting
    Zhao, Jianhua
    Li, Xuandong
    [J]. PROCEEDINGS OF THE 26TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA'17), 2017, : 113 - 124
  • [42] Bounded Symbolic Execution for Runtime Error Detection of Erlang Programs
    De Angelis, Emanuele
    Fioravanti, Fabio
    Palacios, Adrian
    Pettorossi, Alberto
    Proietti, Maurizio
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2018, (278): : 19 - 26
  • [43] A taxonomy of race conditions
    Helmbold, DP
    McDowell, CE
    [J]. JOURNAL OF PARALLEL AND DISTRIBUTED COMPUTING, 1996, 33 (02) : 159 - 164
  • [44] STATIC RAMS RACE TO KEEP UP WITH RISC
    ANDREWS, W
    [J]. COMPUTER DESIGN, 1989, 28 (07): : 59 - &
  • [45] Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software
    Wang, Yu
    Gao, Fengjuan
    Wang, Linzhang
    Yu, Tingting
    Zhao, Jianhua
    Li, Xuandong
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 2022, 48 (01) : 346 - 363
  • [46] RACE HEATS UP IN FAST STATIC RAMS
    CAPECE, RP
    [J]. ELECTRONICS, 1979, 52 (09): : 125 - 135
  • [47] Static race verification for networks with reconvergent clocks
    Grodstein, J
    Rethman, N
    Nassif, N
    [J]. INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 524 - 529
  • [48] A True Positives Theorem for a Static Race Detector
    Gorogiannis, Nikos
    O'Hearn, Peter W.
    Sergey, Ilya
    [J]. PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2019, 3 (POPL):
  • [49] Static Test Compaction for Transition Faults Under the Hazard-Based Detection Conditions
    Pomeranz, Irith
    [J]. 2012 IEEE 30TH VLSI TEST SYMPOSIUM (VTS), 2012, : 176 - 181
  • [50] Static analysis of function calls in Erlang Refining the static function call graph with dynamic call information by using data-flow analysis
    Horpacsi, Daniel
    Koszegi, Judit
    [J]. E-INFORMATICA SOFTWARE ENGINEERING JOURNAL, 2013, 7 (01) : 65 - 76
12345