cosmos-vulnerability-scanner

Этот навык сканирует смарт-контракты Cairo/StarkNet на наличие шести критических уязвимостей безопасности, таких как арифметическое переполнение и проблемы с обменом сообщениями. Используйте его при аудите смарт-контрактов для автоматического выявления распространённых недостатков безопасности в проектах StarkNet. Он особенно полезен разработчикам, создающим или проверяющим безопасные контракты на Cairo.

Этот навык сканирует программы Solana и Anchor на наличие шести критических уязвимостей безопасности, таких как произвольный CPI и некорректная проверка PDA. Разработчикам следует использовать его при аудите смарт-контрактов для автоматического выявления типичных ошибок безопасности. Он предоставляет автоматизированный анализ безопасности, помогая создавать более защищённые программы на Solana.

Этот навык анализирует реализации и интеграции токенов на предмет рисков безопасности на основе контрольного списка Trail of Bits. Он проверяет соответствие стандартам ERC20/ERC721, выявляет нестандартные паттерны токенов, а также оценивает привилегии контрактов и дефицитность. Используйте его при интеграции токенов в протоколы или при аудите контрактов токенов на предмет нестандартного поведения.

Этот навык сканирует паллеты блокчейна Substrate/Polkadot на наличие семи критических уязвимостей безопасности, таких как арифметические переполнения и некорректные проверки происхождения. Используйте его при аудите рантаймов Substrate или паллетов FRAME для автоматического обнаружения распространённых проблем безопасности. Он идеально подходит разработчикам, создающим или проверяющим безопасные смарт-контракты в экосистеме Polkadot.