audit-prep-assistant

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

このスキルは、任意のCPIや不適切なPDA検証など、6つの重大なセキュリティ脆弱性をSolanaおよびAnchorプログラムに対してスキャンします。開発者はスマートコントラクトの監査時にこれを使用し、一般的な欠陥を自動的に検出すべきです。これはTrail of Bitsによる、安全なコントラクト構築のためのセキュリティ重視ツールです。

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

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