code-maturity-assessor

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

このスキルは、算術オーバーフローや不正なオリジンチェックなど、7つの重要なセキュリティ脆弱性をSubstrate/Polkadotブロックチェーンのパレットに対してスキャンします。SubstrateランタイムやFRAMEパレットの監査時に使用することで、一般的なセキュリティ問題を自動的に検出できます。Polkadot上で安全なスマートコントラクトを構築またはレビューする開発者に最適です。

このスキルは、任意のCPIや不適切なPDA検証など、6つの重大なセキュリティ脆弱性をSolanaおよびAnchorプログラムに対してスキャンします。開発者はスマートコントラクトの監査時にこれを使用し、一般的なセキュリティ上の欠陥を自動的に特定できます。自動化されたセキュリティ分析を提供し、より安全なSolanaプログラムの構築を支援します。

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