RacerF: Lightweight Static Data Race Detection for C Code (Experience Paper)
No abstract available.
Related papers
- RacerF: Data Race Detection with Frama-C (Competition Contribution) TACAS 2025
- LiteRace: effective sampling for lightweight data-race detection PLDI 2009
- Lightweight data race detection for production runs CC 2017
- Type-based race detection for Java PLDI 2000
- RacerD: compositional static race detection OOPSLA 2018
- Sound and Partially-Complete Static Analysis of Data-Races in GPU Programs OOPSLA 2024
- Verifying dynamic race detection CPP 2017
- Lightweight fault detection in parallelized programs CGO 2013