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 |

Analisi di scenari contraddittori e modellazione delle minacce per i contratti intelligenti Solidity. Da utilizzare quando si analizzano i contratti dal punto di vista di un utente malintenzionato, si identificano vettori di attacco in più fasi o si esegue la modellazione delle minacce. Copre attacchi di prestiti flash, manipolazione di oracoli, MEV/front-running, exploit di governance, scenari di rientro, bypass del controllo degli accessi, exploit di logica economica e rischi di componibilità tra contratti incrociati. Trigger su attività che coinvolgono analisi degli avversari, modellazione delle minacce, scenari di attacco, vettori di attacco, analisi degli exploit o revisione del team rosso. Fonte: whackur/solidity-agent-toolkit.