Detail publikace

Static Deadlock Detection in Low-Level C Code

HARMIM, D.; MARCIN, V.; SVOBODOVÁ, L.; VOJNAR, T. Static Deadlock Detection in Low-Level C Code. In International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science. Cham: Springer Nature Switzerland AG, 2023. p. 267-276. ISBN: 978-3-031-25311-9.
Název česky
Statická detekce uváznutí v nízko-úrovňovém kódu v jazyce C
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Harmim Dominik, Ing. (FIT)
Marcin Vladimír, Ing.
Svobodová Lucie, Bc. (FIT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

static analysis, abstract interpretation, function summaries, modular analysis, concurrent code, deadlock, Infer

Abstrakt

Článek představuje nový škálovatelný analyzátor uváznutí L2D2, který je schopen zpracovávat kód jazyka C s nízko-úrovňovou nestrukturovanou manipulací se zámky. L2D2 běží dle stromu volání programu, počínaje jeho listy, a analyzuje každou funkci pouze jednou, bez znalosti kontextu volání. L2D2 vytváří souhrny funkcí, které zaznamenávají informace o zámcích, o nichž se předpokládá nebo ví, že jsou uzamčeny nebo odemčeny na vstupu, uvnitř a na výstupu funkcí, spolu se závislostmi zámků, a při zjištění cyklů v závislostech zámků hlásí varování o možných uváznutích. L2D2 byl implementován jako zásuvný modul v prostředí Facebook/Meta Infer a článek presentuje výsledky experimentů s L2D2 na velkém objemu kódu v jazycích C i C++, které ilustrují účinnost a efektivitu L2D2.

Rok
2023
Strany
267–276
Sborník
International Conference on Computer Aided Systems Theory (EUROCAST'22)
Řada
Lecture Notes in Computer Science
Svazek
13789
ISBN
978-3-031-25311-9
Vydavatel
Springer Nature Switzerland AG
Místo
Cham
DOI
10.1007/978-3-031-25312-6_31
EID Scopus
2-s2.0-85151126000
BibTeX 
@inproceedings{BUT187815,
  author="Dominik {Harmim} and Vladimír {Marcin} and Lucie {Svobodová} and Tomáš {Vojnar}",
  title="Static Deadlock Detection in Low-Level C Code",
  booktitle="International Conference on Computer Aided Systems Theory (EUROCAST'22)",
  year="2023",
  series="Lecture Notes in Computer Science",
  volume="13789",
  pages="267--276",
  publisher="Springer Nature Switzerland AG",
  address="Cham",
  doi="10.1007/978-3-031-25312-6\{_}31",
  isbn="978-3-031-25311-9",
  url="https://link.springer.com/chapter/10.1007/978-3-031-25312-6_31"
}
Nahoru