Skip to main content
Kent Academic Repository

Detection of Asynchronous Message Passing Errors Using Static Analysis

Christakis, Maria, Sagonas, Konstantinos (2011) Detection of Asynchronous Message Passing Errors Using Static Analysis. In: Practical Aspects of Declarative Languages. Lecture Notes in Computer Science . pp. 5-18. ISBN 978-3-642-18377-5. E-ISBN 978-3-642-18378-2. (doi:10.1007/978-3-642-18378-2_3) (KAR id:58950)


Concurrent programming is hard and prone to subtle errors. In this paper we present a static analysis that is able to detect some commonly occurring kinds of message passing errors in languages with dynamic process creation and communication based on asynchronous message passing. Our analysis is completely automatic, fast, and strikes a proper balance between soundness and completeness: it is effective in detecting errors and avoids false alarms by computing a close approximation of the interprocess communication topology of programs. We have integrated our analysis in dialyzer, a widely used tool for detecting software defects in Erlang programs, and demonstrate its effectiveness on libraries and applications of considerable size. Despite the fact that these applications have been developed over a long period of time and are reasonably well-tested, our analysis has managed to detect a significant number of previously unknown message passing errors in their code.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1007/978-3-642-18378-2_3
Subjects: Q Science > QA Mathematics (inc Computing science)
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: M. Christaki
Date Deposited: 23 Nov 2016 14:37 UTC
Last Modified: 16 Nov 2021 10:23 UTC
Resource URI: (The current URI for this page, for reference purposes)

University of Kent Author Information

Christakis, Maria.

Creator's ORCID:
CReDIT Contributor Roles:
  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.