Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

Oskar Haarklou Veileborg; Georgian-Vlad Saioc; Anders Møller

doi:10.1145/3551349.3561154

Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

Oskar Haarklou Veileborg, Georgian-Vlad Saioc, Anders Møller

Institut for Datalogi

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

Abstract

Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely. Recent work exposes this as a considerable problem in Go programs and shows that many such errors can be detected automatically using SMT encoding and dynamic analysis techniques. In this paper, we present an alternative approach to detect such errors based on abstract interpretation. To curb the large state spaces of real-world multi-threaded programs, our static program analysis leverages standard pre-analyses to divide the given program into individually analyzable fragments. Experimental results on 6 large real-world Go programs show that the abstract interpretation achieves good scalability and finds 104 blocking errors that are missed by the state-of-the-art tool GCatch.

Originalsprog	Dansk
Titel	iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings
Udgivelsessted	New York
Forlag	Association for Computing Machinery
Publikationsdato	jan. 2023
Sider	1-12
Artikelnummer	32
ISBN (Trykt)	978-1-4503-9475-8
ISBN (Elektronisk)	9781450396240
DOI	https://doi.org/10.1145/3551349.3561154
Status	Udgivet - jan. 2023
Begivenhed	37th IEEE/ACM International Conference on Automated Software Engineering - Varighed: 10 okt. 2022 → …

Konference

Konference	37th IEEE/ACM International Conference on Automated Software Engineering
Periode	10/10/2022 → …

Adgang til dokumentet

10.1145/3551349.3561154

Andre filer og links

Link to publication in Scopus

Citationsformater

@inproceedings{2c7ddc85d9114564893679ca2bfa3389,

title = "Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation",

abstract = "Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely. Recent work exposes this as a considerable problem in Go programs and shows that many such errors can be detected automatically using SMT encoding and dynamic analysis techniques. In this paper, we present an alternative approach to detect such errors based on abstract interpretation. To curb the large state spaces of real-world multi-threaded programs, our static program analysis leverages standard pre-analyses to divide the given program into individually analyzable fragments. Experimental results on 6 large real-world Go programs show that the abstract interpretation achieves good scalability and finds 104 blocking errors that are missed by the state-of-the-art tool GCatch.",

keywords = "Channels, Concurrency, Static Program Analysis",

author = "Veileborg, {Oskar Haarklou} and Georgian-Vlad Saioc and Anders M{\o}ller",

year = "2023",

month = jan,

doi = "10.1145/3551349.3561154",

language = "Dansk",

isbn = "978-1-4503-9475-8",

pages = "1--12",

booktitle = "iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings",

publisher = "Association for Computing Machinery",

address = "USA",

note = "37th IEEE/ACM International Conference on Automated Software Engineering, ASE 2022 ; Conference date: 10-10-2022",

}

Veileborg, OH, Saioc, G-V & Møller, A 2023, Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. i iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings., 32, Association for Computing Machinery, New York, s. 1-12, 37th IEEE/ACM International Conference on Automated Software Engineering, 10/10/2022. https://doi.org/10.1145/3551349.3561154

Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation. / Veileborg, Oskar Haarklou; Saioc, Georgian-Vlad ; Møller, Anders.
iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings. New York: Association for Computing Machinery, 2023. s. 1-12 32.

Publikation: Bidrag til bog/antologi/rapport/proceeding › Konferencebidrag i proceedings › Forskning › peer review

TY - GEN

T1 - Detecting Blocking Errors in Go Programs using Localized Abstract Interpretation

AU - Veileborg, Oskar Haarklou

AU - Saioc, Georgian-Vlad

AU - Møller, Anders

PY - 2023/1

Y1 - 2023/1

N2 - Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely. Recent work exposes this as a considerable problem in Go programs and shows that many such errors can be detected automatically using SMT encoding and dynamic analysis techniques. In this paper, we present an alternative approach to detect such errors based on abstract interpretation. To curb the large state spaces of real-world multi-threaded programs, our static program analysis leverages standard pre-analyses to divide the given program into individually analyzable fragments. Experimental results on 6 large real-world Go programs show that the abstract interpretation achieves good scalability and finds 104 blocking errors that are missed by the state-of-the-art tool GCatch.

AB - Channel-based concurrency is a widely used alternative to shared-memory concurrency but is difficult to use correctly. Common programming errors may result in blocked threads that wait indefinitely. Recent work exposes this as a considerable problem in Go programs and shows that many such errors can be detected automatically using SMT encoding and dynamic analysis techniques. In this paper, we present an alternative approach to detect such errors based on abstract interpretation. To curb the large state spaces of real-world multi-threaded programs, our static program analysis leverages standard pre-analyses to divide the given program into individually analyzable fragments. Experimental results on 6 large real-world Go programs show that the abstract interpretation achieves good scalability and finds 104 blocking errors that are missed by the state-of-the-art tool GCatch.

KW - Channels

KW - Concurrency

KW - Static Program Analysis

UR - http://www.scopus.com/inward/record.url?scp=85146954986&partnerID=8YFLogxK

U2 - 10.1145/3551349.3561154

DO - 10.1145/3551349.3561154

M3 - Konferencebidrag i proceedings

SN - 978-1-4503-9475-8

SP - 1

EP - 12

BT - iWOAR 2022 - 7th International Workshop on Sensor-Based Activity Recognition and Artificial Intelligence, Proceedings

PB - Association for Computing Machinery

CY - New York

T2 - 37th IEEE/ACM International Conference on Automated Software Engineering

Y2 - 10 October 2022

ER -