Análisis estático de código fuente y pruebas dinámicas para la identificación de vulnerabilidades en aplicativos informáticos