Sciweavers

PADL
2010
Springer

Static Detection of Race Conditions in Erlang

14 years 15 days ago
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.
Maria Christakis, Konstantinos F. Sagonas
Added 17 Mar 2010
Updated 17 Mar 2010
Type Conference
Year 2010
Where PADL
Authors Maria Christakis, Konstantinos F. Sagonas
Comments (0)