Creadores Top en Análisis Estático de Programas y Herramientas Asociadas