Microsoft utiliza LLMs para mejorar la seguridad de la programación de bajo nivel: Checked C y RustAssistant

Investigadores de Microsoft Research presentaron dos proyectos que aprovechan los modelos de lenguaje grandes (LLMs) para mejorar la seguridad de la programación de bajo nivel. Un proyecto utiliza LLMs para ayudar con Checked C, agregando automáticamente anotaciones de seguridad de memoria al código C heredado, mejorando la seguridad y reduciendo la carga de anotación manual. El segundo, RustAssistant, utiliza LLMs para corregir automáticamente errores de compilación de Rust, reduciendo significativamente la curva de aprendizaje de Rust. Ambos proyectos demuestran el inmenso potencial de los LLMs para mejorar la seguridad del código y la eficiencia del desarrollador, abriendo nuevas posibilidades para la ingeniería de software.