Evaluating and Improving Static Application Security Testing Tools for Rust

arXiv cs.CR · 16 oct, 06:00

Un estudio empírico de herramientas SAST (análisis estático de seguridad) para Rust revela debilidades en su capacidad para detectar vulnerabilidades reales. Los investigadores proponen TRUST, un marco de pruebas automatizado asistido por LLM que analiza la especificación oficial de Rust para generar programas mutantes y evaluar estas herramientas, descubriendo 46 fallos en seis herramientas populares, 17 de los cuales han sido confirmados.