Análisis del impacto de las vulnerabilidades en las dependencias de proyectos software basado en Satisfiability Modulo Theories (SMT) [Póster]

Abstract

Actualmente el software desarrollado adquiere relaciones dependientes con librerías externas, lo que promueve el aumento del uso de dependencias como una práctica común. Cualquier vulnerabilidad que afecte a estas dependencias puede poner en riesgo todo el proyecto, lo que complica el mantenimiento de la seguridad en los proyectos de desarrollo de software. Actualmente, las herramientas disponibles no abarcan todas las posibles configuraciones de dependencias, lo que amplía el desafío. En este trabajo, se propone un enfoque que permite analizar el espacio de configuración de dependencias de proyectos en términos de las vulnerabilidades. Nuestra propuesta se materializa mediante la construcción de un grafo de dependencias atribuido con vulnerabilidades. Para habilitar el análisis automático, integramos modelos formales basados en modelos de satisfacibilidad. Esto permite el análisis automático para determinar configuraciones libres de vulnerabilidades. Por último, se compara nuestra propuesta en repositorios Python, obteniendo resultados superiores a otras propuestas.