Cover Image

RacerF: Lightweight Static Data Race Detection for C Code

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Dacík, Tomáš, Vojnar, Tomáš
Format:	Preprint
Published:	2025
Subjects:	Software Engineering Programming Languages
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

RacerF: Data Race Detection with Frama-C (Competition Contribution)
by: Dacík, Tomáš, et al.
Published: (2025)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
by: Brablec, Tomáš, et al.
Published: (2026)

Algorithmic Details behind the Predator Shape Analyser
by: Dudka, Kamil, et al.
Published: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
by: Svoboda, David, et al.
Published: (2025)

RaceFixer -- An Automated Data Race Fixer
by: Malakar, Sanjay, et al.
Published: (2024)

CodeFuse-Query: A Data-Centric Static Code Analysis System for Large-Scale Organizations
by: Xie, Xiaoheng, et al.
Published: (2024)

Data Race Detection by Digest-Driven Abstract Interpretation (Extended Version)
by: Schwarz, Michael, et al.
Published: (2025)

On the Anatomy of Real-World R Code for Static Analysis
by: Sihler, Florian, et al.
Published: (2024)

Compiling Away the Overhead of Race Detection
by: Paznikov, Alexey, et al.
Published: (2025)

Neural Code Translation of Legacy Code: APL to C#
by: Ramadan, Abdulrahman, et al.
Published: (2026)

Easing Maintenance of Academic Static Analyzers
by: Monat, Raphaël, et al.
Published: (2024)

Static Deadlock Detection for Rust Programs
by: Zhang, Yu, et al.
Published: (2024)

React-tRace: A Semantics for Understanding React Hooks
by: Lee, Jay, et al.
Published: (2025)

LLM-Based Repair of Static Nullability Errors
by: Karimipour, Nima, et al.
Published: (2025)

Try-Mopsa: Relational Static Analysis in Your Pocket
by: Monat, Raphaël
Published: (2025)

NESA: Relational Neuro-Symbolic Static Program Analysis
by: Wang, Chengpeng, et al.
Published: (2024)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
by: Antal, Gábor, et al.
Published: (2024)

Checkification: A Practical Approach for Testing Static Analysis Truths
by: Ferreiro, Daniela, et al.
Published: (2025)

Unveiling the Power of Intermediate Representations for Static Analysis: A Survey
by: Zhang, Bowen, et al.
Published: (2024)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
by: Heinze, Thomas S.
Published: (2026)

IRIS: LLM-Assisted Static Analysis for Detecting Security Vulnerabilities
by: Li, Ziyang, et al.
Published: (2024)

BugLens: Leveraging Bisection for Lightweight Compiler Bug Deduplication
by: Zhou, Xintong, et al.
Published: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
by: Amilon, Jesper, et al.
Published: (2026)

Taking out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses
by: Stemmler, Fabian, et al.
Published: (2025)

Embracing Objects Over Statics: An Analysis of Method Preferences in Open Source Java Frameworks
by: Zakharov, Vladimir, et al.
Published: (2024)

The CodeInverter Suite: Control-Flow and Data-Mapping Augmented Binary Decompilation with LLMs
by: Liu, Peipei, et al.
Published: (2025)

Phaedrus: Predicting Dynamic Application Behavior with Lightweight Generative Models and LLMs
by: Chatterjee, Bodhisatwa, et al.
Published: (2024)

Floating-Point Usage on GitHub: A Large-Scale Study of Statically Typed Languages
by: Gilot, Andrea, et al.
Published: (2025)

Micro-Patterns in Solidity Code
by: Ruschioni, Luca, et al.
Published: (2025)

Pareto Optimal Code Generation
by: Orlanski, Gabriel, et al.
Published: (2025)

Functional Consistency of LLM Code Embeddings: A Self-Evolving Data Synthesis Framework for Benchmarking
by: Li, Zhuohao, et al.
Published: (2025)

Automated Code Editing with Search-Generate-Modify
by: Liu, Changshu, et al.
Published: (2023)

Validated Code Translation for Projects with External Libraries
by: Zhang, Hanliang, et al.
Published: (2026)

SACTOR: LLM-Driven Correct and Idiomatic C to Rust Translation with Static Analysis and FFI-Based Verification
by: Zhou, Tianyang, et al.
Published: (2025)

A Trace-based Approach for Code Safety Analysis
by: Xu, Hui
Published: (2025)

Structural Code Search using Natural Language Queries
by: Limpanukorn, Ben, et al.
Published: (2025)

Python Symbolic Execution with LLM-powered Code Generation
by: Wang, Wenhan, et al.
Published: (2024)

Beyond Code Pairs: Dialogue-Based Data Generation for LLM Code Translation
by: Chen, Le, et al.
Published: (2025)

Advancing Automated In-Isolation Validation in Repository-Level Code Translation
by: Ke, Kaiyao, et al.
Published: (2025)

From Code to Career: Assessing Competitive Programmers for Industry Placement
by: Akib, Md Imranur Rahman, et al.
Published: (2025)