Paper Info
Title
Static detection of race conditions in erlang
Abstract
We address the problem of detecting some commonly occurring kinds of race conditions in Erlang 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/OTP, 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.
Year
DOI
Venue
2010
10.1007/978-3-642-11503-5_11
PADL
Keywords
Field
DocType
considerable size,erlang program,static detection,significant number,avoids false alarm,unknown race condition,language characteristic,race condition,software defect,open source program,static analysis,computer science
Race condition,Programming language,False alarm,Model checking,Computer science,Erlang (programming language),Static analysis,Call graph,Software,Distributed computing,Scalability
Conference
Volume
ISSN
ISBN
5937
0302-9743
3-642-11502-0
Citations 
PageRank 
References 
14
0.69
13
Authors
2
Name
Order
Citations
PageRank
Maria Christakis120016.69
Konstantinos F. Sagonas281368.98