2026-07-23T19:43:06Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:23329 2025-10-02T12:48:50Z ddc:004 open_access

RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper) Dacík, Tomáš Vojnar, Tomáš concurrency data race detection static analysis We present RacerF, a novel static analyser for thread-modular data race detection. The approach behind RacerF exploits static analysis of sequential program behaviour whose results are generalised for multi-threaded programs using a combination of lightweight under- and over-approximating methods. The tool is implemented as a plugin of the Frama-C platform and can leverage several analysis backends, most notably the Frama-C’s abstract interpreter EVA. Although our methods are mostly heuristic without providing formal guarantees, our experimental evaluation shows that even for intricate programs, RacerF can provide very precise results competitive with more heavyweight approaches while being faster than them. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Tomáš Dacík and Tomáš Vojnar 2025 Is Part Of LIPIcs, Volume 333, 39th European Conference on Object-Oriented Programming (ECOOP 2025) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2025.37 urn:nbn:de:0030-drops-233298 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.37 eng https://creativecommons.org/licenses/by/4.0/legalcode