dos-griefing-analysis

What problem does it solve?

Detects and documents DoS and griefing vulnerabilities in smart contracts, enabling auditors to proactively harden systems and preserve availability.

Core Features & Use Cases

• Unbounded Loop DoS detection: identify loops whose bounds grow with usage and propose safe pagination or pull patterns.
• External Call DoS mitigation: detect batch operations where a single failed external call blocks all processing and recommend try/catch or per-item handling.
• Gas/63-64 griefing awareness: flag meta-transaction and relayer patterns that forward insufficient gas or fail conditionally, with guardrails.
• Storage growth controls: highlight storage growth that makes iterations expensive and suggest limits or paginated models.
• Cooldowns and timestamps: identify griefing via timestamp resets that can block valuable actions and propose internal accounting.
• Force-fed ETH and balance-invariant issues: warn on self-destruct or balance-based checks and encourage internal accounting.

Quick Start

Run a DoS and griefing audit on a target contract to map common patterns and generate mitigations.