• Research Paper Code Repository: Contains code for the master's thesis [CORAL: a Rust-like Borrow Checker for C] and the [LCTES'24] paper [Foundations for a Rust-Like Borrow Checker for C]. Supports the findings and experiments in both works.
• Introduction: C/C++ has been used for over 50 years and is still popular despite vulnerabilities. New languages like Rust or Go have emerged as alternatives. Source-to-source compilation can analyze and transform original source code. CORAL is a prototype Borrow Checker implementing a subset of the analysis and transformations, inspired by Rust's MIR Borrow Checker. It enforces single ownership and strict pointer aliasing rules through static analysis and source code transformations.
• Dependancies: Clava.
• Results: The long-term goal is to emit clear error messages like rustc. A simple test scenario shows a direct comparison between rustc and CORAL error messages.