slitherin

Slitherin por pesimista.io

¡Bienvenido! Somos el equipo Pesimistor.io, y en los últimos meses hemos estado desarrollando activamente nuestros propios detectores de slither para ayudar con el proceso de revisión y auditoría de código. ¡Este repositorio contiene todo lo que puede necesitar para trabajar con ellos!

Aumentamos la sensibilidad de nuestros detectores, ya que son bastante sencillos y no están escritos en el "estilo original". Como resultado, producen FPS (falsos positivos) con más frecuencia que los originales. De modo que nuestros detectores son una especie de automatización de las verificaciones implementadas en la lista de verificación, su objetivo principal es buscar problemas y ayudar al auditor del código.

Háganos saber si ha descubierto un problema/error/vulnerabilidad a través de nuestros detectores de sliths personalizados. Puede comunicarse con nosotros a través de la apertura de un PR/Problema o directamente, lo que sea más conveniente para usted. Si tiene más preguntas o sugerencias, ¡únase a nuestro servidor de discordia o un chat de telegrama! ¡Esperamos verte allí, y tenemos la intención de apoyar a la comunidad y sus iniciativas!

Navegación de repositorio

Tabla de contenido:

Sección	Enlace
Documento	Documentos para cada detector
Deslizamiento	Código de detectores
Pruebas	Probar contratos para detectores
Tensiones	Archivos auxiliares
Asuntos	Sugerir una idea
Proceso de instalación	Guía paso a paso
Detectores	Mesa de detectores
Mejoras y nuevos detectores	Mejoras del proyecto

Proceso de instalación

Usando git

Para instalar detectores pesimistas:

1. Instale el Slither original;
2. Clon nuestro repositorio;
3. Ejecute el siguiente comando en nuestra carpeta de repositorio para agregar nuevos detectores a Slither:

python3 setup.py develop

¡Tenga en cuenta que no tiene que reinstalar el complemento después de los cambios en el repositorio!

4. Se deben instalar dependencias para probar los detectores de nuestros contratos de prueba:

npm install

Usando Pip

1. Instale el Slither original;
2. Instale el paquete PIP:

pip install slitherin

Usando Pipx

1. Instale el paquete PIP:

pipx install slitherin

2. Agregue el contenedor de Slitherin a la ruta:

 echo -e " # Slitherin with pipxnexport PATH= "$ PATH:/home/ $USER /.local/pipx/venvs/slitherin/bin " n " >> ~ /.bashrc 
&& source ~ /.bashrc

Uso

Slitherin-cli (recomendado)

Use slitherin-cli para ejecutar detectores en una aplicación Hardhat/Foundry/Dapp/Brownie. Tienes las siguientes opciones:

• Ejecute solo detectores de Slitherin:

slitherin . --pess

• Ejecute solo detectores de Slither:

slitherin . --slither

• Ejecute detectores de deslizamiento, luego detectores de slitherin:

slitherin . --separated

• Ejecute detectores de slitherin específicos del árbitro:

slitherin . --arbitrum

Tenga en cuenta que Slitherin-Cli admite todas las opciones de ejecución de Slither.

Deslizarse

Los detectores de Slitherin se incluyen en Slither originales después de la instalación. Puedes usar Slither como de costumbre.

Mesa de detectores

Enlace de detector	Documentos y configuración	Contrato de prueba	Problemas válidos*
Setter sin protección	Explorar	Prueba	1
Inicializar sin protección	Explorar	Prueba	0
Advertencia de tx gasprice	Explorar	Prueba	0
Integración de uniswapv2	Explorar	Prueba	0
Fallido de token	Explorar	Prueba	0
Controlador de tiempo	Explorar	Prueba	1
Setter extraño	Explorar	Prueba	0
Reentrante de solo lectura	Explorar	Prueba	0
NFT aprobar advertencia	Explorar	Prueba	0
Lectura de almacenamiento múltiple	Explorar	Prueba	9
Número mágico	Explorar	Prueba	3
No reentrante inconsistente	Explorar	Prueba	0
Falsy solo modificador EOA	Explorar	Prueba	0
Setter de eventos faltante	Explorar	Prueba	1
Típico dudoso	Explorar	Prueba	0
Posibilidad del token de doble entrada	Explorar	Prueba	0
Llame hacia adelante para protegerse	Explorar	Prueba	0
Antes de la transferencia de token	Explorar	Prueba	2
Para continuar incremento	Explorar	Prueba	0
Aave Flasloan Callback	Explorar	Prueba	0
Llamada arbitraria	Explorar	Prueba	0
Recuperación de la curva elíptica	Explorar	Prueba	0
Público vs externo	Explorar	Prueba	0
Balancador de solo lectura reentrante	Explorar	Prueba	0

Tenga en cuenta:

• *Válido: problemas incluidos en los informes y fijados por los desarrolladores (enero de 2023 - junio de 2023).

• Hay dos detectores que tienen varios controles en el interior: Pess-Uni-V2 y llamadas arbitrarias.

Mejoras y nuevos detectores

¡Aquí indicamos nuestras actualizaciones, flujos de trabajo y marcas tareas y mejoras completadas!

Puede agregar su propio detector/idea/mejora abriendo el problema en el siguiente enlace.

Antes de agregar un detector personalizado, asegúrese de que:

1. En un archivo de documentación, su detector se describe de manera integral;
2. El contrato de prueba del detector se presenta y se compila correctamente;
3. El código del detector se presenta y funciona correctamente.

Antes de agregar una idea , asegúrese de que:

1. Su concepto o idea está bien articulado;
2. Se proporciona un ejemplo de vulnerabilidad (o POC);

Antes de agregar una mejora , asegúrese de que:

1. Su mejora no empeora el código base;
2. Se comenta su mejora.

Detectores retraso:

Expresiones de gratitud

A nuestro equipo le gustaría expresar nuestra más profunda gratitud a los creadores de herramientas de Slither: Josselin Feist, Gustavo Grieco y Alex Groce, así como Crytic, División de Seguridad de Blockchain Trail of Bits, ¡y todas las personas que creen en la herramienta original y su evolución!

Slitherin en medios de comunicación

• Semana en Ethereum News
• Bloqueo
• Artículo de lanzamiento de OfficerCia.eth
• Llamadas arbitrarias y la nueva versión del detector de slitherin
• ¿Qué pasa Slitherin?
• Desafillama
• Herramientas esenciales para auditar contratos inteligentes por hexens
• ETH BELGRADE TALK
• Integrado en AuditWizard

¡Gracias!

Sería fantástico si pudieras marcar, compartir, estrellas o bifurcarse este repositorio. Cualquier atención nos ayudará a lograr nuestro objetivo común de hacer que Web3 sea un poco más segura de lo que era antes: ¡por lo tanto, requerimos su apoyo!

¡Por nuestra parte, haremos todo lo que esté a nuestro alcance para garantizar que este proyecto continúe creciendo con éxito en términos de código y tecnología, así como de interacción comunitaria y profesional! Esperamos sinceramente que encuentre útil nuestro trabajo y aprecie cualquier comentario, ¡así que no dude en contactarnos!

---

Pesimistía ofrece auditorías de seguridad de confianza desde 2017.
¿Requiere supervisión experta de su seguridad?
Explore nuestros servicios en Pesimistic.io.