audit-prep-assistant

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

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

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

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