Fundamentos para um Verificador de Empréstimo Similar ao Rust para C

Problemas de segurança de memória em C são a origem de várias vulnerabilidades que podem comprometer a correção ou a segurança de um programa contra ataques. Propomos uma abordagem diferente para lidar com a segurança de memória, a replicação do Verificador de Empréstimo (Borrow Checker) da Representação Intermediária de Nível Médio (MIR) do Rust, através do uso de análises estáticas e transformações sucessivas de código de fonte para fonte, a serem compostas antes do compilador, garantindo assim máxima compatibilidade com a maioria dos sistemas de construção. Isso nos permite aproximar um subconjunto de C dos conceitos centrais do Rust, aplicando as garantias de segurança de memória do compilador rustc ao C. Neste trabalho, apresentamos uma pesquisa dos esforços do Rust para garantir a segurança da memória e descrevemos a base teórica para um verificador de empréstimo em C, juntamente com uma prova de conceito que foi desenvolvida para demonstrar seu potencial. Este protótipo identificou corretamente violações das regras de propriedade e aliasing, e informou cada erro com um nível de detalhe comparável ao do compilador rustc.