Eurocast 2022 - 18th International Conference on Computer Aided Systems Theory Static Deadlock Detection in Low-Level C Code