3 citations · 7 across the 5 of their papers we have counts for
Showing cs.SEShow all
2 papers · 1 filter
cs.SE2025★ 1 cited
RacerF: Lightweight Static Data Race Detection for C Code
Tomáš Dacík, Tomáš Vojnar
We present a novel static analysis for thread-modular data race detection. Our approach exploits static analysis of sequential program behaviour whose results are generalised for m…
cs.SE2022
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…