Static Deadlock Detection in Low-Level C Code. - Dominik Harmim; Vladimír Marcin; Lucie Svobodova; Tomás Vojnar (EUROCAST, 2022)