Static Deadlock Detection in Low-Level C Code
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F23%3APU150742" target="_blank" >RIV/00216305:26230/23:PU150742 - isvavai.cz</a>
Result on the web
<a href="https://link.springer.com/chapter/10.1007/978-3-031-25312-6_31" target="_blank" >https://link.springer.com/chapter/10.1007/978-3-031-25312-6_31</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-031-25312-6_31" target="_blank" >10.1007/978-3-031-25312-6_31</a>
Alternative languages
Result language
angličtina
Original language name
Static Deadlock Detection in Low-Level C Code
Original language description
We present a novel scalable deadlock analyser L2D2 capable of handling C code with low-level unstructured lock manipulation. L2D2 runs along the call tree of a program, starting from its leaves, and analyses each function just once, without any knowledge of the call context. L2D2 builds function summaries recording information about locks that are assumed or known to be locked or unlocked at the entry, inside, and at the exit of functions, together with lock dependencies, and reports warnings about possible deadlocks when cycles in the lock dependencies are detected. We implemented L2D2 as a plugin of the Facebook/Meta Infer framework and report results of experiments on a large body of C as well as C++ code illustrating the effectiveness and efficiency of L2D2.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
—
OECD FORD branch
10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)
Result continuities
Project
<a href="/en/project/GA20-07487S" target="_blank" >GA20-07487S: Scalable Techniques for Analysis of Complex Properties of Computer Systems</a><br>
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)
Others
Publication year
2023
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
International Conference on Computer Aided Systems Theory (EUROCAST'22)
ISBN
978-3-031-25311-9
ISSN
—
e-ISSN
—
Number of pages
10
Pages from-to
267-276
Publisher name
Springer Nature Switzerland AG
Place of publication
Cham
Event location
Las Palmas de Gran Canaria, Canary Islands
Event date
Feb 20, 2022
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—