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 |

Análisis de escenarios adversarios y modelado de amenazas para contratos inteligentes de Solidity. Úselo al analizar contratos desde la perspectiva de un atacante, identificar vectores de ataque de varios pasos o realizar modelos de amenazas. Cubre ataques de préstamos flash, manipulación de Oracle, MEV/front-running, exploits de gobernanza, escenarios de reentrada, omisiones de control de acceso, exploits de lógica económica y riesgos de componibilidad entre contratos. Activadores de tareas que involucran análisis adversario, modelado de amenazas, escenarios de ataque, vectores de ataque, análisis de exploits o revisión del equipo rojo. Fuente: whackur/solidity-agent-toolkit.