secure-workflow-guide

このスキルは、FunCで記述されたTONスマートコントラクトをスキャンし、3つの重大なセキュリティ脆弱性を検出します：整数とブール値の誤用、偽のJettonコントラクト、保護されていないTON転送です。スマートコントラクト監査時に使用することで、これらの一般的な欠陥を自動的に検出できます。The Open Network上で安全なコントラクトを構築またはレビューする開発者向けに設計されています。

このスキルは、Trail of Bitsのチェックリストを自動化することで、開発者がセキュリティ監査に向けてスマートコントラクトを準備するのを支援します。静的解析の実行、テストカバレッジの向上、デッドコードの削除、フローチャートやユーザーストーリーなどのドキュメント生成を行います。正式なレビューの前に、コードベースを体系的に強化するためにご利用ください。

このスキルは、スマートコントラクトのためのTrail of Bitsの5ステップセキュリティワークフローを開発者に案内します。Slither分析の自動化、アップグレード可能性などの特定機能のチェック、セキュリティ図の生成を行います。Solidityプロジェクトにおいて、セキュリティ特性を体系的に文書化し、重要な領域をレビューするためにご活用ください。

このスキルは、Trail of Bitsの9カテゴリセキュリティフレームワークを用いて、スマートコントラクトコードの成熟度を体系的に評価します。算術演算の安全性、アクセス制御、MEVリスクなどの重要な領域を分析し、証拠に基づいたスコアカードを生成します。コードベースに対して実践的なセキュリティ推奨事項と専門的な成熟度評価を得るためにご利用ください。