algorand-vulnerability-scanner

このスキルは、Cairo/StarkNetスマートコントラクトを算術オーバーフローやメッセージング問題など、6つの重大なセキュリティ脆弱性についてスキャンします。スマートコントラクト監査時に使用し、StarkNetプロジェクトにおける一般的なセキュリティ上の欠陥を自動的に検出します。安全なCairoコントラクトを構築またはレビューする開発者にとって特に価値のあるツールです。

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

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

このスキルは、Trail of Bitsのチェックリストに基づいてトークンの実装と統合におけるセキュリティリスクを分析します。ERC20/ERC721準拠性の確認、異常なトークンパターンの検出、コントラクト権限の評価を行います。トークンの統合時やトークンコントラクトの監査時に使用することで、非標準的な動作や脆弱性を特定できます。