Cover Image

Automated Code Repair for C/C++ Static Analysis Alerts

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Svoboda, David, Flynn, Lori, Klieber, William, Duggan, Michael, Reimer, Nicholas, Sible, Joseph
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

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

RacerF: Lightweight Static Data Race Detection for C Code
by: Dacík, Tomáš, et al.
Published: (2025)

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

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

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

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

ARSP: Automated Repair of Verilog Designs via Semantic Partitioning
by: Yao, Bingkun, 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)

Taming the Beast: Fully Automated Unit Testing with Coyote C++
by: Rho, Sanghoon, et al.
Published: (2024)

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

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)

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

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

A Unified Framework for Automated Code Transformation and Pragma Insertion
by: Pouget, Stéphane, et al.
Published: (2024)

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

Pareto Optimal Code Generation
by: Orlanski, Gabriel, 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)

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

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

PredicateFix: Repairing Static Analysis Alerts with Bridging Predicates
by: Xiao, Yuan-An, et al.
Published: (2025)

C*: Unifying Programming and Verification in C
by: Cao, Yiyuan, et al.
Published: (2025)

Towards a Transpiler for C/C++ to Safer Rust
by: Tripuramallu, Dhiren, et al.
Published: (2024)

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

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
by: Tang, Hao, et al.
Published: (2024)

Is Self-Repair a Silver Bullet for Code Generation?
by: Olausson, Theo X., et al.
Published: (2023)

On Repairing Quantum Programs Using ChatGPT
by: Guo, Xiaoyu, et al.
Published: (2024)

QLCoder: A Query Synthesizer For Static Analysis of Security Vulnerabilities
by: Wang, Claire, et al.
Published: (2025)

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

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

Specification-Guided Repair of Arithmetic Errors in Dafny Programs using LLMs
by: Wu, Valentina, et al.
Published: (2025)

Customizing Static Analysis using Codesearch
by: Hayoun, Avi, et al.
Published: (2024)

Concept-Based Generic Programming in C++
by: Stroustrup, Bjarne
Published: (2025)

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

Enhanced Automated Code Vulnerability Repair using Large Language Models
by: de-Fitero-Dominguez, David, et al.
Published: (2024)

Scalable, Validated Code Translation of Entire Projects using Large Language Models
by: Zhang, Hanliang, et al.
Published: (2024)

Translating Large-Scale C Repositories to Idiomatic Rust
by: Dehghan, Saman, et al.
Published: (2025)

Enabling Memory Safety of C Programs using LLMs
by: Mohammed, Nausheen, et al.
Published: (2024)

Code Broker: A Multi-Agent System for Automated Code Quality Assessment
by: Attrah, Samer
Published: (2026)