C-to-Rust Fallacy: Automatic Refactoring != Memory Security

arXiv cs.CR · 23 sept, 06:00

Un estudio empírico evalúa herramientas de refactorización automática de C a Rust (C2Rust-analyze, CROWN, C2SaferRust, FLOURINE) usando 116 programas C con fallos de seguridad de memoria de la suite Juliet de NIST. Los resultados muestran que de 464 programas Rust generados, 342 no compilan, 177 heredan fallos de seguridad de memoria del código C original, y 77 introducen nuevos bugs en Rust. El trabajo demuestra que las herramientas actuales cumplen con su definición de seguridad de memoria, pero no logran la seguridad de memoria más amplia que se espera al migrar a Rust.