Towards a Rust-Like Borrow Checker for C

• Tipo: Artigo em Revista Científica Internacional
• Data: 2024

Autores

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

Revista

Título: Transactions on Embedded Computing Systems

ISSN: 1539-9087

Editora: ACM

Outras Informações

ID Authenticus: 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>

Idioma: Inglês

Tipo (Avaliação Docente): Científica