DARPA deseja transpilar automaticamente código C para Rust - usando IA

O Departamento de Defesa dos EUA, por meio da DARPA, iniciou um projeto para desenvolver ferramentas de aprendizado de máquina para automatizar a conversão de código C legado para Rust, visando melhorar a segurança de memória em software. Bugs de segurança de memória, como overflow de buffer, são fontes significativas de vulnerabilidades em grandes bases de código. A iniciativa da DARPA aproveita modelos de IA para melhorar a tradução de linguagem de programação, buscando software mais seguro. Dan Wallach, gerente de programa da DARPA, destaca a capacidade atual de chatbots de IA em traduzir C para Rust, mas nota a necessidade de melhorias significativas na precisão de tradução para construtos de programa críticos. A comunidade de engenharia de software reconhece os persistentes problemas de segurança de memória em C e C++, com um consenso sobre a necessidade de linguagens mais seguras como Rust. O Escritório do Diretor Nacional de Cibersegurança também enfatizou a necessidade de melhores medidas de segurança além de ferramentas de detecção de bugs. Peter Morales, CEO da Code Metal, apoia o impacto potencial do projeto na cibersegurança, observando a atenção significativa à segurança de memória. Wallach descreve Rust como uma linguagem que impõe regras estritas que, em última análise, fornecem liberdade e segurança para os programadores. Morales também reconhece o desafio de lidar com numerosos casos de bordo no processo de tradução. Certos projetos, como o núcleo do Linux, estão excluídos devido a incompatibilidades técnicas com Rust.