solidity-adversarial-analysis

| 1. Identify Assets | Map valuable targets | What can be stolen, locked, or manipulated? | | 2. Enumerate Entry Points | List all external/public functions | Which functions change state or move value? | | 3. Model Adversary | Define attacker capabilities | What resources (flash loans, MEV, tokens) does the attacker have? |

| 4. Construct Sequences | Build multi-step attack paths | What sequence of calls achieves the attack goal? | | 5. Verify Invariants | Check contract assumptions | Which mathematical or state invariants can be violated? |

| Category | Severity | Key Indicators | Example Attack |

Solidity スマート コントラクトの敵対的シナリオ分析と脅威モデリング。攻撃者の観点から契約を分析する場合、複数段階の攻撃ベクトルを特定する場合、または脅威モデリングを実行する場合に使用します。フラッシュ ローン攻撃、オラクル操作、MEV/フロントランニング、ガバナンス悪用、再入シナリオ、アクセス制御バイパス、経済ロジック悪用、およびクロスコントラクト コンポーザビリティ リスクをカバーします。敵対的分析、脅威モデリング、攻撃シナリオ、攻撃ベクトル、エクスプロイト分析、またはレッドチームレビューを含むタスクをトリガーします。 ソース: whackur/solidity-agent-toolkit。