Towards a Rust-Like Borrow Checker for C

• Type: Article in International Scientific Journal
• Date: 2024

Authors

Silva, T (Author) Other; Correia, P (Author) Other; Sousa, L (Author) Other; João Bispo (Author) FEUP; Carvalho, T (Author) Other

Journal

Title: Transactions on Embedded Computing Systems

ISSN: 1539-9087

Publisher: ACM

Other information

Authenticus ID: P-017-CWJ

DOI: 10.1145/3702229

Abstract (EN): <jats:p>Memory safety issues in C are the origin of various vulnerabilities that can compromise a program¿s correctness or safety from attacks. We propose an approach to tackle memory safety by replicating Rust¿s Mid-level Intermediate Representation (MIR) Borrow Checker. Our solution uses static analysis and successive source-to-source code transformations to be composed upstream of the compiler, ensuring maximal compatibility with existing build systems. This allows us to apply the memory safety guarantees of the rustc compiler to C code with fewer changes than a rewrite in Rust. In this work, we present a comprehensive study of Rust¿s efforts towards ensuring memory safety, and describe the theoretical basis for a C borrow checker, alongside a proof-of-concept that was developed to demonstrate its potential. We have evaluated the prototype on the CHStone and bzip2 benchmarks. This prototype correctly identified violations of the ownership and aliasing rules, and exposed incompatibilities between such rules and common C patterns, which can be addressed in future work.</jats:p>

Language: English

Type (Professor's evaluation): Scientific