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 |

Analyse gegnerischer Szenarien und Bedrohungsmodellierung für Solidity-Smart-Verträge. Verwenden Sie diese Option, wenn Sie Verträge aus der Perspektive eines Angreifers analysieren, mehrstufige Angriffsvektoren identifizieren oder eine Bedrohungsmodellierung durchführen. Deckt Flash-Loan-Angriffe, Oracle-Manipulation, MEV/Front-Running, Governance-Exploits, Wiedereintrittsszenarien, Umgehungen der Zugriffskontrolle, Exploits wirtschaftlicher Logik und Risiken der vertragsübergreifenden Zusammensetzbarkeit ab. Wird bei Aufgaben ausgelöst, die eine gegnerische Analyse, Bedrohungsmodellierung, Angriffsszenarien, Angriffsvektoren, Exploit-Analyse oder Red-Team-Überprüfung umfassen. Quelle: whackur/solidity-agent-toolkit.