Тестирование контрактов в Slither

Slither - это статический анализатор кода, написанный на python. Он умеет следить за переменными, вызовами, и детектирует большой список уязвимостей. У каждой уязвимости есть ссылка с описанием.

Особенности программы:

- Обнаруживает уязвимый код Solidity с низким уровнем ложных срабатываний.

- Определяет, где конкретно в коде есть такая уязвимость.

- Встроенные "принты" создают отличные отчеты по важным частям кода контракта.

- Анализ кода Solidity выше 0.4 версии

- Средняя скорость выполнения теста всего несколько секунд.

Как работает?

После установки всех библиотек в Python и подключения рабочей среды в проект, вы можете запустить его с помощью команды:

"slither ."

В консоли появится много строк. Зеленые будут означать все, что тесты были пройдены, красные - где-то есть ошибка.

Прочитав ошибку, вам станет понятно, на какой строке или в какой функции есть уязвимость.
  
#slither