contract explorer

Explorador de contratos (Extensión del código de Visual Studio)

Integración del código de Visual Studio para Slither, un marco de análisis estático de solidez.

Esta extensión ofrece la integración del código de estudio de Visual para Slither, un marco de análisis estático de solidez escrito en Python 3. Con Slither for Visual Studio Code, los usuarios pueden ejecutar un conjunto de detectores de vulnerabilidades en sus contratos inteligentes de solidez para anotar el código potencialmente peligroso y recibir correcciones sugeridas.

Características

• Analizar espacios de trabajo abiertos
• Explore los resultados en un árbol personalizado, ordenado por tipo de problema o severidad
• Ver los resultados como información/advertencias/errores del código de Visual Studio
• Consulte las anotaciones para el código fuente relevante para cada tema
• Imprima la descripción y las recomendaciones del tema detallado
• Filtro de problemas por tipo (según la configuración del espacio de trabajo)
• Especifique la ruta SOLC personalizada (según la configuración del espacio de trabajo)
• Destacación de sintaxis de solidez

Requisitos

• slith-lsp
• Código de Visual Studio
• Opcional: los marcos de compilación/prueba deseados compatibles con Slither, como Truffle.

Nota

Slither-LSP debe ser accesible a través del comando slither-lsp para que esta extensión invoque. Use pip install slither-lsp para instalarlo.

Instalación

Del mercado de Visual Studio

Instale Contract Explorer del mercado de Visual Studio dentro de la pestaña Extensiones del código Visual Studio.

De la fuente

git clone https://github.com/crytic/contract-explorer
cd contract-explorer
npm i
npm install -g vsce
vsce package

Se creará contract-explorer-XXXvsix .

Instale el archivo VSIX en Visual Studio a través de Extensions , en el menú ...

Empezando

Después de instalar la extensión, simplemente abra un espacio de trabajo que contiene cualquier archivo de solidez (*.sol). La extensión se activará, revelando el logotipo de Slither en la barra de acción. Haga clic para revelar un panel de configuración, desde el cual podrá seleccionar qué resultados del detector se mostrarán después de que una carpeta de espacio de trabajo haya terminado de analizar.

Una vez realizado el análisis de una carpeta, podrá explorar la base de código utilizando las herramientas VSCode familiares "ir a implementaciones", "ir a definiciones", "Encuentre todas las referencias" y mostrando jerarquías de llamadas y tipos.

Licencia

AGPL-3.0