solana-vulnerability-scanner

Этот навык помогает разработчикам готовить смарт-контракты к аудиту безопасности, автоматизируя контрольный список Trail of Bits. Он выполняет статический анализ, улучшает покрытие тестами, удаляет мертвый код и генерирует документацию, такую как блок-схемы и пользовательские истории. Используйте его для систематического укрепления вашей кодовой базы перед формальной проверкой.

Этот навык сканирует смарт-контракты TON, написанные на FunC, на наличие трёх критических уязвимостей безопасности: некорректное использование целых чисел в качестве булевых значений, поддельные контракты Jetton и незащищённая пересылка TON. Используйте его при аудите смарт-контрактов для автоматического выявления этих распространённых недостатков. Он предназначен для разработчиков, создающих или проверяющих безопасные контракты в The Open Network.

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

Этот навык проводит разработчиков по 5-шаговому процессу обеспечения безопасности смарт-контрактов от Trail of Bits. Он автоматизирует анализ Slither, проверяет наличие специфических функций, таких как возможность обновления, и генерирует диаграммы безопасности. Используйте его для систематического документирования свойств безопасности и проверки критических областей в вашем проекте на Solidity.