DROPS

Artifact

Software

TDacik/Deadlock_and_Racer

Authors: Tomáš Dacík and Tomáš Vojnar

Abstract

Cite as

Tomáš Dacík, Tomáš Vojnar. TDacik/Deadlock_and_Racer (Software, Source Code). Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@misc{dagstuhl-artifact-23614,
   title = {{TDacik/Deadlock\underlineand\underlineRacer}}, 
   author = {Dac{\'\i}k, Tom\'{a}\v{s} and Vojnar, Tom\'{a}\v{s}},
   note = {Software, swhId: \href{https://archive.softwareheritage.org/swh:1:dir:fc33aed78b227ea0738a89894b3dfa91b4f46844;origin=https://github.com/TDacik/Deadlock_and_Racer;visit=swh:1:snp:f9a0093f3b0321a80252a9408c93715a9a5b3634;anchor=swh:1:rev:927909b70493e6373b49185c6d5cf59e85762f8c}{\texttt{swh:1:dir:fc33aed78b227ea0738a89894b3dfa91b4f46844}} (visited on 2025-06-25)},
   url = {https://github.com/TDacik/Deadlock_and_Racer},
   doi = {10.4230/artifacts.23614},
}

Document

Experience Paper

DOI: 10.4230/LIPIcs.ECOOP.2025.37

RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)

Authors: Tomáš Dacík and Tomáš Vojnar

Published in: LIPIcs, Volume 333, 39th European Conference on Object-Oriented Programming (ECOOP 2025)

Abstract

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.

Cite as

Tomáš Dacík and Tomáš Vojnar. RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper). In 39th European Conference on Object-Oriented Programming (ECOOP 2025). Leibniz International Proceedings in Informatics (LIPIcs), Volume 333, pp. 37:1-37:19, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2025)

Copy BibTex To Clipboard

@InProceedings{dacik_et_al:LIPIcs.ECOOP.2025.37,
  author =	{Dac{\'\i}k, Tom\'{a}\v{s} and Vojnar, Tom\'{a}\v{s}},
  title =	{{RacerF: Lightweight Static Data Race Detection for C Code}},
  booktitle =	{39th European Conference on Object-Oriented Programming (ECOOP 2025)},
  pages =	{37:1--37:19},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-373-7},
  ISSN =	{1868-8969},
  year =	{2025},
  volume =	{333},
  editor =	{Aldrich, Jonathan and Silva, Alexandra},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2025.37},
  URN =		{urn:nbn:de:0030-drops-233298},
  doi =		{10.4230/LIPIcs.ECOOP.2025.37},
  annote =	{Keywords: concurrency, data race detection, static analysis}
}

Search Results

Documents authored by Dacík, Tomáš

TDacik/Deadlock_and_Racer

Abstract

Cite as

RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)

Abstract

Cite as

Thanks for your feedback!

Could not send message