algorand-vulnerability-scanner

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

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

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

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