RacerF: Lightweight Static Data Race Detection for C Code

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F26%3A0198082" target="_blank" >RIV/00216305:26230/26:0198082 - isvavai.cz</a>

Result on the web

<a href="https://drops.dagstuhl.de/storage/00lipics/lipics-vol333-ecoop2025/LIPIcs.ECOOP.2025.37/LIPIcs.ECOOP.2025.37.pdf" target="_blank" >https://drops.dagstuhl.de/storage/00lipics/lipics-vol333-ecoop2025/LIPIcs.ECOOP.2025.37/LIPIcs.ECOOP.2025.37.pdf</a>

DOI - Digital Object Identifier

<a href="http://dx.doi.org/10.4230/LIPIcs.ECOOP.2025.37" target="_blank" >10.4230/LIPIcs.ECOOP.2025.37</a>

Result language

angličtina

Original language name

RacerF: Lightweight Static Data Race Detection for C Code

Original language description

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.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

<a href="/en/project/GA23-06506S" target="_blank" >GA23-06506S: Advanced Analysis and Verification for Advanced Software</a><br>

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>S - Specificky vyzkum na vysokych skolach

Publication year

2025

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

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

ISBN

978-3-95977-373-7

ISSN

—

e-ISSN

—

Number of pages

19

Pages from-to

„37.1“-„37.19“

Publisher name

Schloss Dagstuhl – Leibniz-Zentrum für Informatik

Place of publication

—

Event location

Bergen

Event date

Jun 30, 2025

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

001592262200037