Funcionando con Humos: Prevención de Vulnerabilidades sin Gas en Contratos Inteligentes de Ethereum mediante Análisis Estático de Recursos