cairo-vulnerability-scanner

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

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

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

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