Buchumschlag

RacerF: Data Race Detection with Frama-C (Competition Contribution)

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Dacík, Tomáš, Vojnar, Tomáš
Format:	Preprint
Veröffentlicht:	2025
Schlagworte:	Software Engineering Programming Languages
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

RacerF: Lightweight Static Data Race Detection for C Code
von: Dacík, Tomáš, et al.
Veröffentlicht: (2025)

SEAL: Symbolic Execution with Separation Logic (Competition Contribution)
von: Brablec, Tomáš, et al.
Veröffentlicht: (2026)

Algorithmic Details behind the Predator Shape Analyser
von: Dudka, Kamil, et al.
Veröffentlicht: (2024)

RaceFixer -- An Automated Data Race Fixer
von: Malakar, Sanjay, et al.
Veröffentlicht: (2024)

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

Compiling Away the Overhead of Race Detection
von: Paznikov, Alexey, et al.
Veröffentlicht: (2025)

React-tRace: A Semantics for Understanding React Hooks
von: Lee, Jay, et al.
Veröffentlicht: (2025)

From Code to Career: Assessing Competitive Programmers for Industry Placement
von: Akib, Md Imranur Rahman, et al.
Veröffentlicht: (2025)

C*: Unifying Programming and Verification in C
von: Cao, Yiyuan, et al.
Veröffentlicht: (2025)

Towards a Transpiler for C/C++ to Safer Rust
von: Tripuramallu, Dhiren, et al.
Veröffentlicht: (2024)

Automated Code Repair for C/C++ Static Analysis Alerts
von: Svoboda, David, et al.
Veröffentlicht: (2025)

Transforming C++11 Code to C++03 to Support Legacy Compilation Environments
von: Antal, Gábor, et al.
Veröffentlicht: (2024)

Enhanced Data Race Prediction Through Modular Reasoning
von: Ang, Zhendong, et al.
Veröffentlicht: (2025)

Evaluating Program Semantics Reasoning with Type Inference in System F
von: He, Yifeng, et al.
Veröffentlicht: (2025)

Concept-Based Generic Programming in C++
von: Stroustrup, Bjarne
Veröffentlicht: (2025)

Understanding and Detecting Platform-Specific Violations in Android Auto Apps
von: Fakorede, Moshood, et al.
Veröffentlicht: (2025)

Zero-shot Evaluation of Deep Learning for Java Code Clone Detection
von: Heinze, Thomas S.
Veröffentlicht: (2026)

GWP-ASan: Sampling-Based Detection of Memory-Safety Bugs in Production
von: Serebryany, Kostya, et al.
Veröffentlicht: (2023)

Conditional Execution of Transpiler Passes Based on Per-Script Feature Detection
von: Bhatia, Rishipal Singh
Veröffentlicht: (2026)

Translating Large-Scale C Repositories to Idiomatic Rust
von: Dehghan, Saman, et al.
Veröffentlicht: (2025)

Enabling Memory Safety of C Programs using LLMs
von: Mohammed, Nausheen, et al.
Veröffentlicht: (2024)

Neural Code Translation of Legacy Code: APL to C#
von: Ramadan, Abdulrahman, et al.
Veröffentlicht: (2026)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
von: Rho, Sanghoon, et al.
Veröffentlicht: (2024)

MicroRacer: Detecting Concurrency Bugs for Cloud Service Systems
von: Deng, Zhiling, et al.
Veröffentlicht: (2025)

AutoCode: LLMs as Problem Setters for Competitive Programming
von: Zhou, Shang, et al.
Veröffentlicht: (2025)

DeCon: Detecting Incorrect Assertions via Postconditions Generated by a Large Language Model
von: Yu, Hao, et al.
Veröffentlicht: (2025)

Evaluate the Stack Management in Effect Handlers using the libseff C Library
von: Yu, ZeHao
Veröffentlicht: (2025)

A Core Calculus for Type-safe Product Lines of C Programs
von: Damiani, Ferruccio, et al.
Veröffentlicht: (2026)

QCP: A Practical Separation Logic-based C Program Verification Tool
von: Wu, Xiwei, et al.
Veröffentlicht: (2025)

Contract Based Verification of Non-functional Requirements for Embedded Automotive C Code
von: Amilon, Jesper, et al.
Veröffentlicht: (2026)

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

Divergent Multi-Version Execution (DME): Canonical Instruction-Trace Fault Detection via Structural Address-Space Decorrelation
von: Yrievich, Petro Baran
Veröffentlicht: (2026)

Search-Based Multi-Trajectory Refinement for Safe C-to-Rust Translation with Large Language Models
von: Sim, HoHyun, et al.
Veröffentlicht: (2025)

CPSLint: A Domain-Specific Language Providing Data Validation and Sanitisation for Industrial Cyber-Physical Systems
von: Odyurt, Uraz, et al.
Veröffentlicht: (2025)

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

Evaluating the Performance of Large Language Models in Competitive Programming: A Multi-Year, Multi-Grade Analysis
von: Dumitran, Adrian Marius, et al.
Veröffentlicht: (2024)

Who Wins the Race? (R Vs Python) - An Exploratory Study on Energy Consumption of Machine Learning Algorithms
von: Chattaraj, Rajrupa, et al.
Veröffentlicht: (2025)

Library Liberation: Competitive Performance Matmul Through Compiler-composed Nanokernels
von: Thangamani, Arun, et al.
Veröffentlicht: (2025)

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

Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
von: Zhang, Dylan, et al.
Veröffentlicht: (2025)