solana-vulnerability-scanner

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

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

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

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