Бесплатный набор инструментов для поиска уязвимостей в смарт-контрактах на Soroban (Stellar) — статический анализ и фаззинг.
Toolkit включает статический анализатор, проверяющий исходный код контракта на пять типичных ошибок: отсутствие проверки авторизации, неверное использование хранения данных, неограниченные циклы по хранилищу, превышение лимита чтений и непроверенную арифметику; результаты можно выгружать в SARIF для интеграции в CI. Второй компонент — фаззер, который генерирует последовательности вызовов контракта и проверяет заданные инварианты после каждого шага, минимизируя найденные падения до короткого воспроизводимого случая. Позиционируется как бесплатная альтернатива платному аудиту смарт-контрактов.
