Este volumen reúne los trabajos de pioneros que exploraron nuevas técnicas de análisis estático en el Simposio Internacional de 2015, presentando algoritmos avanzados y estudios de caso que ilustran cómo detectar vulnerabilidades y optimizar código antes de su ejecución.