Abrir carpeta
Selecciona la carpeta del proyecto en el chat.
Flujos de trabajo
flujo de trabajo de auditoría de contratos inteligentes
03
Revisa un contrato de token localmente
Abre la carpeta, lee el código, ejecuta las pruebas y verifica el diff antes de aceptar cambios en tus propios archivos.
Listar archivos
Lista los archivos de contrato en el directorio.
Leer código
Lee el código fuente del contrato principal.
Ejecutar pruebas
Ejecuta el comando de pruebas y
Ejemplo de registro de hallazgos
Revisa el contrato de token en busca de riesgos de reentrancy y problemas de control de acceso.
- list_dir
.5 archivos - read_file
Token.solleído - grep
external call3 coincidencias - write_file
findings-log.txtguardado
esperando tu aprobación antes del siguiente pasoRechazarAceptar
findings-log.txt
# Token Contract Review
Scope: ERC-20 token implementation
Test: local unit tests passed
Finding: Missing reentrancy guard
Severity: High
Location: transfer function
Fix: Add nonReentrant modifier
Status: Pending reviewUn registro de hallazgos en texto plano que muestra el alcance, los resultados de las pruebas y un hallazgo específico con severidad y ubicación para un contrato de token.
Aprende los pasos de la auditoría de contratos inteligentes
Leer y buscar código
El agente usa list_dir y glob para encontrar todos los archivos de contrato en tu carpeta de trabajo, y read_file abre el código fuente principal para su inspección. Este es el inicio. Los auditores encuentran vulnerabilidades en contratos inteligentes leyendo el código a mano. Se ejecuta grep para buscar cada llamada externa, verificación de acceso y cambio de estado en todo el proyecto. Ves los resultados de la búsqueda inmediatamente en el chat para verificar cada línea de código relevante. Que la seguridad falle una vez que los contratos están en producción es una gran preocupación para cualquier protocolo desplegado. Este paso de revisión manual respalda una revisión estructurada de auditoría de seguridad de contratos inteligentes antes del despliegue. Aprende auditoría de contratos inteligentes para entender la lógica antes de que el agente sugiera cualquier cambio en la base de código.
Ejecutar pruebas y revisar
El agente usa Shell para ejecutar tu comando de pruebas y tu comando de verificación estática en tu PC, por lo que guarda la salida en un archivo de texto para referencia y redacta hallazgos. Puedes revisar estos diffs. Revisar estos diffs te ayuda a entender todo el proceso de auditoría claramente. Empezar con la auditoría de solidity implica leer el código a mano. La herramienta usa write_file para redactar notas de hallazgos y correcciones propuestas. Te muestra un diff antes de que aceptes cualquier cambio en tus archivos. Puedes cambiar al modo Ask first para pausar antes de cada acción que cambie algo. Las pruebas aprobadas confirman que la corrección resuelve el problema, pero una persona aún revisa el diff.
