TY  - RPRT
TI  - RacerF: Lightweight Static Data Race Detection for C Code
AU  - Tomáš Dacík
AU  - Tomáš Vojnar
PY  - 2025
UR  - https://arxiv.org/abs/2502.04905
ID  - 2502.04905
ER  -