Microsoft usa LLMs para aumentar a segurança de programação de baixo nível: Checked C e RustAssistant

Pesquisadores da Microsoft Research apresentaram dois projetos que utilizam modelos de linguagem grandes (LLMs) para melhorar a segurança da programação de baixo nível. Um projeto usa LLMs para auxiliar o Checked C, adicionando automaticamente anotações de segurança de memória a código C herdado, melhorando a segurança e reduzindo a carga de anotação manual. O segundo, RustAssistant, usa LLMs para corrigir automaticamente erros de compilação do Rust, diminuindo significativamente a curva de aprendizado do Rust. Ambos os projetos demonstram o imenso potencial dos LLMs em melhorar a segurança do código e a eficiência do desenvolvedor, abrindo novas possibilidades para a engenharia de software.