Static Deadlock Detection in Low-Level C Code

Dominik Harmim, Vladimír Marcin, Lucie Svobodová +1

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 fr…