RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)
| Authors | |
|---|---|
| Year of publication | 2025 |
| Type | Article in Proceedings |
| Conference | Proc. of 39th European Conference on Object-Oriented Programming – ECOOP'25 |
| MU Faculty or unit | |
| Citation | |
| web | |
| Doi | https://doi.org/10.4230/LIPIcs.ECOOP.2025.37 |
| Keywords | program analysis;static analysis;concurrent programs;data races; |
| Description | 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. |
| Related projects: |