| 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.