
Slither
Статический анализатор для глубокого тестирования смарт контрактов, написанных на Solidity. Изучает исходный код без его выполнения, выявляя уязвимости, баги и отклонения от лучших практик на ранних стадиях разработки. Инструмент содержит предустановленные детекторы, способные находить более 100 типов распространенных уязвимостей, включая: переполнения/исчерпания целочисленного типа (Integer overflows/underflows), перезапись владельца контракта (Ownable contract misuse), доступ к неинициализированным указателям на структуры хранилища. Разработчики могут легко писать собственные детекторы используя богатый API фреймворка.