Detail publikace

Static Deadlock Detection in Low-Level C Code

HARMIM Dominik, MARCIN Vladimír, SVOBODOVÁ Lucie a VOJNAR Tomáš. Static Deadlock Detection in Low-Level C Code. In: International Conference on Computer Aided Systems Theory (EUROCAST'22). Lecture Notes in Computer Science, roč. 13789. Cham: Springer Nature Switzerland AG, 2023, s. 267-276. ISBN 978-3-031-25311-9. Dostupné z: https://link.springer.com/chapter/10.1007/978-3-031-25312-6_31
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
angličtina
Autoři
Harmim Dominik, Ing. (UITS FIT VUT)
Marcin Vladimír, Ing. (FIT VUT)
Svobodová Lucie, Bc. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
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
Konference
Eurocast 2022 -- 18th International Conference on Computer Aided Systems Theory, Las Palmas de Gran Canaria, Canary Islands, ES
ISBN
978-3-031-25311-9
Vydavatel
Springer Nature Switzerland AG
Místo
Cham, CH
DOI
10.1007/978-3-031-25312-6_31
EID Scopus
2-s2.0-85151126000
BibTeX 
@INPROCEEDINGS{FITPUB12997,
   author = "Dominik Harmim and Vladim\'{i}r Marcin and Lucie Svobodov\'{a} and Tom\'{a}\v{s} Vojnar",
   title = "Static Deadlock Detection in Low-Level C Code",
   pages = "267--276",
   booktitle = "International Conference on Computer Aided Systems Theory (EUROCAST'22)",
   series = "Lecture Notes in Computer Science",
   volume = 13789,
   year = 2023,
   location = "Cham, CH",
   publisher = "Springer Nature Switzerland AG",
   ISBN = "978-3-031-25311-9",
   doi = "10.1007/978-3-031-25312-6\_31",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/12997"
}
Nahoru