Desarrollo de Analizador de Contratos Solidity para Detección de Vulnerabilidades

Se busca un desarrollador o equipo con experiencia en seguridad de contratos inteligentes para crear un analizador de contratos Solidity. El objetivo principal es identificar y reportar patrones de vulnerabilidades comunes en el código de los contratos, como reentrancy, integer overflow/underflow, front-running, y otros riesgos de seguridad conocidos. El analizador debe ser capaz de realizar un análisis estático del código fuente para detectar estos patrones de forma eficiente y precisa. Se valorará la experiencia con herramientas de análisis de seguridad existentes y la capacidad de desarrollar nuevas reglas de detección.