Cover Image

CFIghter: Automated Control-Flow Integrity Enablement and Evaluation for Legacy C/C++ Systems

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Houy, Sabine, Kreyssig, Bruno, Bartel, Alexandre
Format:	Preprint
Published:	2025
Subjects:	Software Engineering
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

A Practical Guideline and Taxonomy to LLVM's Control Flow Integrity
by: Houy, Sabine, et al.
Published: (2025)

In the Magma chamber: Update and challenges in ground-truth vulnerabilities revival for automatic input generator comparison
by: Riom, Timothée, et al.
Published: (2025)

Sleeping Giants -- Activating Dormant Java Deserialization Gadget Chains through Stealthy Code Changes
by: Kreyssig, Bruno, et al.
Published: (2025)

Evaluating the Process Modeling Abilities of Large Language Models -- Preliminary Foundations and Results
by: Fettke, Peter, et al.
Published: (2025)

Advancing Digital Government: Integrating Open Source Software Enablement Indicators in Maturity Indexes
by: Linåker, Johan, et al.
Published: (2025)

Evaluating Software Plagiarism Detection in the Age of AI: Automated Obfuscation and Lessons for Academic Integrity
by: Sağlam, Timur, et al.
Published: (2025)

Penetration Testing and Legacy Systems
by: Smyth, Sandra
Published: (2023)

Enforcing Control Flow Integrity on DeFi Smart Contracts
by: Chen, Zhiyang, et al.
Published: (2025)

ATLAS: Automated Tree-based Language Analysis System for C and C++ source programs
by: Chowdhury, Jaid Monwar, et al.
Published: (2025)

Automated Refactoring of Legacy JavaScript Code to ES6 Modules
by: Paltoglou, Katerina, et al.
Published: (2021)

Deserialization Gadget Chains are not a Pathological Problem in Android:an In-Depth Study of Java Gadget Chains in AOSP
by: Kreyssig, Bruno, et al.
Published: (2025)

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

VAPU: System for Autonomous Legacy Code Modernization
by: Ala-Salmi, Valtteri, et al.
Published: (2025)

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

Contemporary Software Modernization: Perspectives and Challenges to Deal with Legacy Systems
by: Assunção, Wesley K. G., et al.
Published: (2024)

SCLA: Automated Smart Contract Summarization via LLMs and Control Flow Prompt
by: Li, Xiaoqi, et al.
Published: (2024)

Leveraging LLMs for Automated Translation of Legacy Code: A Case Study on PL/SQL to Java Transformation
by: Solovyeva, Lola, et al.
Published: (2025)

CXXCrafter: An LLM-Based Agent for Automated C/C++ Open Source Software Building
by: Yu, Zhengmin, et al.
Published: (2025)

FLAMES: Fine-tuning LLMs to Synthesize Invariants for Smart Contract Security
by: Eshghie, Mojtaba, et al.
Published: (2025)

LegacyTranslate: LLM-based Multi-Agent Method for Legacy Code Translation
by: Moti, Zahra, et al.
Published: (2026)

Autonomous Legacy Web Application Upgrades Using a Multi-Agent System
by: Ala-Salmi, Valtteri, et al.
Published: (2025)

Automated Repair of C Programs Using Large Language Models
by: Farzandway, Mahdi, et al.
Published: (2025)

Quantitative Information Flow Control by Construction for Component-Based Systems
by: Rønneberg, Rasmus Carl
Published: (2024)

Legacy Modernization with AI -- Mainframe modernization
by: Khemka, Sunil, et al.
Published: (2025)

CppPerf: An Automated Pipeline and Dataset for Performance-Improving C++ Commits
by: Ho, Tommy, et al.
Published: (2026)

On the calibration of Just-in-time Defect Prediction
by: Shahini, Xhulja, et al.
Published: (2025)

Automated Test Validators for Flaky Cyber-Physical System Simulators: Approach and Evaluation
by: Jodat, Baharin A., et al.
Published: (2025)

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

Fuzzing-based Mutation Testing of C/C++ Software in Cyber-Physical Systems
by: Lee, Jaekwon, et al.
Published: (2025)

VeCoGen: Automating Generation of Formally Verified C Code with Large Language Models
by: Sevenhuijsen, Merlijn, et al.
Published: (2024)

Real-World Fault Detection for C-Extended Python Projects with Automated Unit Test Generation
by: Berg, Lucas, et al.
Published: (2026)

Spec2Control: Automating PLC/DCS Control-Logic Engineering from Natural Language Requirements with LLMs - A Multi-Plant Evaluation
by: Koziolek, Heiko, et al.
Published: (2025)

APITestGenie: Automated API Test Generation through Generative AI
by: Pereira, André, et al.
Published: (2024)

Automated Assessment in Mobile Programming Courses: Leveraging GitHub Classroom and Flutter for Enhanced Student Outcomes
by: Alves, Pedro, et al.
Published: (2025)

LLM4C2Rust: Large Language Models for Automated Memory-Safe Code Transpilation
by: Bedell, Sarah, et al.
Published: (2026)

Automated Repair of Cyber-Physical Systems
by: Valle, Pablo
Published: (2025)

Modeling and Simulation Based Engineering in the Context of Cyber-Physical Systems
by: Muzy, Alexandre
Published: (2026)

Evaluating LLM Agents on Automated Software Analysis Tasks
by: Bouzenia, Islem, et al.
Published: (2026)

How to Define Design in Industrial Control and Automation Software
by: Homay, Aydin
Published: (2025)

Automation and Reuse Practices in GitHub Actions Workflows: A Practitioner's Perspective
by: Delicheh, Hassan Onsori, et al.
Published: (2026)