Detail publikačního výsledku

RacerF: Lightweight Static Data Race Detection for C Code

DACÍK, T.; VOJNAR, T.

Originální název

RacerF: Lightweight Static Data Race Detection for C Code

Anglický název

RacerF: Lightweight Static Data Race Detection for C Code

Druh

Stať ve sborníku v databázi WoS či Scopus

Originální abstrakt

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 multi-threaded programs using a combination of lightweight under- and over-approximating methods. We have implemented this approach in a new tool called RacerF as a plugin of the Frama-C platform. RacerF 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 heavy-weight approaches while being faster than them.

Anglický abstrakt

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 multi-threaded programs using a combination of lightweight under- and over-approximating methods. We have implemented this approach in a new tool called RacerF as a plugin of the Frama-C platform. RacerF 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 heavy-weight approaches while being faster than them.

Klíčová slova

concurrency, data race detection, static analysis

Klíčová slova v angličtině

concurrency, data race detection, static analysis

Autoři

DACÍK, T.; VOJNAR, T.

Rok RIV

2026

Vydáno

25.06.2025

Nakladatel

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

ISBN

978-3-95977-373-7

Kniha

39th European Conference on Object-Oriented Programming (ECOOP 2025)

Strany od

37.1

Strany do

37.19

Strany počet

19

URL

https://drops.dagstuhl.de/storage/00lipics/lipics-vol333-ecoop2025/LIPIcs.ECOOP.2025.37/LIPIcs.ECOOP.2025.37.pdf

BibTex

@inproceedings{BUT198082,
  author="Tomáš {Dacík} and Tomáš {Vojnar}",
  title="RacerF: Lightweight Static Data Race Detection for C Code",
  booktitle="39th European Conference on Object-Oriented Programming (ECOOP 2025)",
  year="2025",
  pages="37.1--37.19",
  publisher="Schloss Dagstuhl – Leibniz-Zentrum für Informatik",
  doi="10.4230/LIPIcs.ECOOP.2025.37",
  isbn="978-3-95977-373-7",
  url="https://drops.dagstuhl.de/storage/00lipics/lipics-vol333-ecoop2025/LIPIcs.ECOOP.2025.37/LIPIcs.ECOOP.2025.37.pdf"
}