MIESC v6.0.0 - Guía de Instalación Completa¶

Esta guía cubre la instalación completa de MIESC desde cero, incluyendo todas las dependencias y herramientas.

Tabla de Contenidos¶

Instalación Rápida
Requisitos del Sistema
Instalación Paso a Paso
Instalación de Herramientas por Capa
Instalación con Docker
Verificación
Solución de Problemas

Instalación Rápida¶

Para usuarios que quieren comenzar rápidamente con funcionalidad básica:

# Clonar repositorio
git clone https://github.com/fboiero/MIESC.git
cd MIESC

# Instalar MIESC y dependencias core
pip install -e .

# Instalar Slither (requerido para análisis básico)
pip install slither-analyzer

# Verificar instalación
python scripts/verify_installation.py

Requisitos del Sistema¶

Requisitos Mínimos¶

Componente	Requisito
SO	macOS 12+, Ubuntu 20.04+, Windows 10+ (WSL2)
Python	3.12 o superior
Memoria	8 GB RAM
Disco	5 GB espacio libre

Requisitos Recomendados¶

Componente	Requisito
SO	macOS 14+, Ubuntu 22.04+
Python	3.12+
Memoria	16 GB RAM
Disco	20 GB espacio libre (para todas las herramientas)
Node.js	18+ (para Solhint)
Rust	1.70+ (para Aderyn, Foundry)
Go	1.21+ (para Medusa)

Instalación Paso a Paso¶

Paso 1: Clonar Repositorio¶

git clone https://github.com/fboiero/MIESC.git
cd MIESC

Paso 2: Crear Entorno Virtual (Recomendado)¶

python3.12 -m venv .venv
source .venv/bin/activate  # Linux/macOS
# o: .venv\Scripts\activate  # Windows

Paso 3: Instalar MIESC¶

# Instalación básica
pip install -e .

# Instalación completa (todas las dependencias opcionales)
pip install -e .[full]

# Instalación de desarrollo
pip install -e .[dev]

Paso 4: Instalar Compilador de Solidity¶

pip install solc-select
solc-select install 0.8.20
solc-select use 0.8.20

# Verificar
solc --version

Paso 5: Instalar Herramientas de Análisis Core¶

# Análisis Estático (Capa 1)
pip install slither-analyzer

# Verificar
slither --version

Instalación de Herramientas por Capa¶

MIESC integra 50 herramientas distribuidas en 35 módulos de análisis, organizadas en 9 capas de defensa. Instala las herramientas según tus necesidades.

Capa 1: Análisis Estático (3 herramientas)¶

Herramienta	Instalación	Requerida
Slither	`pip install slither-analyzer`	Sí
Aderyn	`cargo install aderyn`	Recomendada
Solhint	`npm install -g solhint`	Recomendada

# Instalar todas las herramientas de Capa 1
pip install slither-analyzer
cargo install aderyn
npm install -g solhint

Capa 2: Pruebas Dinámicas (4 herramientas)¶

Herramienta	Instalación	Notas
Echidna	Binario de releases	Fuzzer basado en propiedades
Medusa	Binario de releases	Fuzzer guiado por cobertura
Foundry	`curl -L foundry.paradigm.xyz \\| bash && foundryup`	Toolkit completo
DogeFuzz	Incluido	Sin instalación externa

# Foundry
curl -L https://foundry.paradigm.xyz | bash
foundryup

# Echidna (macOS)
brew install echidna

# Echidna (Linux) - descargar de GitHub releases
wget https://github.com/crytic/echidna/releases/latest/download/echidna-linux-x86_64.tar.gz
tar -xzf echidna-linux-x86_64.tar.gz
sudo mv echidna /usr/local/bin/

# Medusa - descargar de GitHub releases
# https://github.com/crytic/medusa/releases

Capa 3: Ejecución Simbólica (3 herramientas)¶

Herramienta	Instalación	Notas
Mythril	`pip install mythril`	Puede conflictuar con slither
Manticore	`pip install manticore[native]`	Solo Python 3.10
Halmos	`pip install halmos`	Integración con Foundry

# Mythril (instalar en venv separado si hay conflictos)
pip install mythril

# Halmos
pip install halmos

# Manticore (requiere Python 3.10)
# Mejor instalado en Docker o entorno separado

Capa 4: Verificación Formal (3 herramientas)¶

Herramienta	Instalación	Notas
Certora	certora.com	Comercial, tier gratuito
SMTChecker	Incluido con solc	Incorporado
Wake	`pip install eth-wake`	Framework Python

pip install eth-wake

Capa 5: Análisis con IA (6 herramientas)¶

Herramienta	Instalación	Notas
SmartLLM	Incluido + Ollama	Análisis LLM local
GPTScan	Incluido	Requiere clave API de OpenAI
LLMSmartAudit	Incluido	LLM multi-agente
GPTLens	Incluido	Auditor/crítico LLM
LlamaAudit	Incluido + Ollama	Análisis basado en Llama
iAudit	Incluido	Auditor LLM afinado

# Instalar Ollama
curl -fsSL https://ollama.ai/install.sh | sh

# Descargar modelos requeridos
ollama pull deepseek-coder:6.7b
ollama pull codellama

Capa 6: Detección ML (5 herramientas)¶

Herramienta	Instalación	Notas
DA-GNN	Incluido	Red neuronal de grafos
SmartBugs-ML	Incluido	Clasificador ML
SmartBugs-Detector	Incluido	Detección de categorías SWC
SmartGuard	Incluido	Coincidencia de patrones
Peculiar	Incluido	ML sobre flujo de datos crucial

Todas incluidas, sin instalación externa requerida.

Capa 7: Análisis Especializado (7 herramientas)¶

Herramienta	Instalación	Notas
Threat Model	Incluido	Modelado de amenazas
Gas Analyzer	Incluido	Optimización de gas
MEV Detector	Incluido	Exposición a MEV
Clone Detector	Incluido	Detección de clones
DeFi	Incluido	Flash loan, oracle
Advanced Detector	Incluido	Rug pull, honeypot
Upgradability Checker	Incluido	Riesgos de proxy/upgradability

Todas incluidas, sin instalación externa requerida.

Las Capas 8–9 (Seguridad Cross-Chain y ZK, Ensemble Avanzado de IA) son módulos experimentales del roadmap multi-chain; el core EVM son las Capas 1–7.

Capa 8: Seguridad Cross-Chain y ZK (5 herramientas)¶

Herramienta	Instalación	Notas
Cross-Chain	Incluido	Riesgos cross-chain
ZK Circuit	`cargo install circomspect`	Análisis de circuitos ZK
Bridge Monitor	Incluido	Seguridad de bridges
L2 Validator	Incluido	Chequeos específicos de L2
Circom Analyzer	`npm install -g circom snarkjs`	Análisis Circom/Noir

# Para análisis de circuitos ZK
cargo install circomspect
npm install -g circom snarkjs

Capa 9: Ensemble Avanzado de IA (5 herramientas)¶

Herramienta	Instalación	Notas
LLMBugScanner	Incluido + Ollama	Modelo deepseek-coder
Audit Consensus	Incluido	Consenso multi-LLM
Exploit Synthesizer	Incluido	Síntesis de PoC de exploit
Vuln Verifier	Incluido	Verificación de hallazgos
Remediation Validator	Incluido	Validación de correcciones

Instalación con Docker¶

Para un entorno completo y aislado con todas las herramientas preinstaladas:

ARM64 (Apple Silicon)¶

docker build -t miesc:v6.0.0 .
docker run --rm -v $(pwd):/contracts miesc:v6.0.0 audit quick /contracts/MiContrato.sol

x86_64 (Intel/AMD)¶

docker build --platform linux/amd64 -f Dockerfile.x86 -t miesc:v6.0.0-x86 .
docker run --platform linux/amd64 --rm -v $(pwd):/contracts miesc:v6.0.0-x86 audit quick /contracts/MiContrato.sol

Imagen Pre-construida¶

# Descargar de GitHub Container Registry
docker pull ghcr.io/fboiero/miesc:latest    # Estándar (multi-arch, ~2-3GB)
docker pull ghcr.io/fboiero/miesc:full      # Completa - solo amd64 (~4GB)

# Ejecutar auditoría
docker run --rm -v $(pwd):/contracts ghcr.io/fboiero/miesc:latest audit quick /contracts/MiContrato.sol

# O construir localmente (usar el script de build para compatibilidad ARM)
./scripts/build-images.sh standard
./scripts/build-images.sh full              # En ARM: solicita confirmación para build nativo
docker run --rm -v $(pwd):/contracts miesc:latest audit quick /contracts/MiContrato.sol

Verificación¶

Después de la instalación, verifica que todo funciona:

# Ejecutar script de verificación
python scripts/verify_installation.py

# O usar el CLI
miesc doctor

Salida esperada:

MIESC v6.0.0 - Verificación de Instalación
============================================================

1. Entorno Python
----------------------------------------
  [OK] Python 3.12.x

2. Dependencias Core de Python
----------------------------------------
  [OK] slither-analyzer (0.10.x)
  [OK] django (5.x)
  [OK] djangorestframework (3.14.x)
  ...

5. Registro de Adaptadores MIESC
----------------------------------------
  [OK] Todos los 50/50 adaptadores registrados
  [OK] XX herramientas actualmente disponibles

Resumen de Instalación
============================================================
¡MIESC está listo para usar!

Solución de Problemas¶

Falla la instalación de Mythril¶

Mythril puede conflictuar con slither-analyzer debido a requisitos de versión de z3-solver.

Solución: Instala Mythril en un entorno virtual separado o usa Docker:

# Opción 1: venv separado
python3 -m venv mythril-env
source mythril-env/bin/activate
pip install mythril

# Opción 2: Docker
docker run -it mythril/myth analyze /ruta/a/contrato.sol

Manticore en ARM (Apple Silicon)¶

Manticore requiere arquitectura x86_64 y Python 3.10.

Solución: Usa Docker con emulación:

docker build --platform linux/amd64 -f Dockerfile.x86 -t miesc:x86 .

Problemas de versión de solc¶

solc-select install 0.8.20
solc-select use 0.8.20

Ollama no responde¶

# Iniciar servicio de Ollama
ollama serve &

# Verificar estado
ollama list

# Descargar modelos requeridos
ollama pull deepseek-coder:6.7b

Falta Rust/Cargo¶

# Instalar Rust
curl --proto '=https' --tlsv1.2 -sSf https://sh.rustup.rs | sh
source ~/.cargo/env

Falta Node.js/npm¶

# macOS
brew install node

# Ubuntu
curl -fsSL https://deb.nodesource.com/setup_18.x | sudo -E bash -
sudo apt-get install -y nodejs

Errores de permiso denegado¶

# Arreglar permisos de pip
pip install --user -e .

# O usar entorno virtual
python3 -m venv .venv
source .venv/bin/activate
pip install -e .

Próximos Pasos¶

Después de la instalación:

Inicio Rápido: miesc audit quick contrato.sol
Auditoría Completa: miesc audit full contrato.sol
API REST local: python -m miesc.api.rest --host 127.0.0.1 --port 8000
Reportes estáticos: python -m src.utils.web_dashboard --results analysis/results --output analysis/dashboard
Documentación: fboiero.github.io/MIESC

Soporte¶

Issues: github.com/fboiero/MIESC/issues
Email: fboiero@frvm.utn.edu.ar
Documentación: fboiero.github.io/MIESC

Versión: 6.0.0 | Última Actualización: Mayo 2026