most citedRacerF: Lightweight Static Data Race Detection for C Code

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

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…