secure-workflow-guide

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

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

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

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