contract explorer

Contract Explorer (расширение кода Visual Studio)

Интеграция кода Visual Studio для SLITHER, статического анализа.

Это расширение предлагает интеграцию кода Visual Studio для SLITHER, структуры статического анализа прочности, написанной на Python 3. С SLITHER для кода Visual Studio пользователи могут запустить набор детекторов уязвимостей в своих смарт -контрактах, чтобы аннотировать потенциально опасные коды и получать предлагаемые исправления.

Функции

• Проанализируйте открытые рабочие пространства
• Изучите результаты в пользовательском дереве, отсортированном по типу вопросов или серьезности
• Просмотреть результаты как нативная информация о коде визуальной студии/предупреждения/ошибки
• См. Аннотации для соответствующего исходного кода для каждого выпуска
• Отпечатайте подробное описание и рекомендации.
• Проблемы фильтра по типу (на конфигурации рабочей области)
• Укажите пользовательский путь SOLC (на конфигурации рабочей области)
• Синтаксис синтекса

Требования

• Slither-lsp
• Visual Studio Code
• Необязательно: любые желаемые рамки сборки/тестирования, поддерживаемые Slither, например, трюфель.

Примечание

Slither-LSP должен быть доступен через команду slither-lsp , чтобы это расширение было вызвать его. Используйте pip install slither-lsp чтобы установить его.

Установка

С рынка Visual Studio

Установите Contract Explorer на рынке Visual Studio на вкладке «Расширения» Visual Studio Code.

Из источника

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

contract-explorer-XXXvsix будет создан.

Установите файл VSIX в Visual Studio через Extensions , в меню ...

Начиная

После установки расширения просто откройте рабочее пространство, содержащее любые файлы Solidity (*.SOL). Расширение будет активируется, раскрывая логотип Slither на панели действий. Нажмите на него, чтобы раскрыть панель настроек, из которой вы сможете выбрать, какие результаты детектора будут показаны после того, как папка рабочей области закончит анализ.

После того, как анализ папки будет сделан, вы сможете изучить кодовую базу, используя знакомые инструменты VSCODE «Перейти к реализациям», «Перейти к определениям», «Найдите все ссылки» и показывая иерархии вызова и типа.

Лицензия

AGPL-3.0