dos-revert

What problem does it solve?

This Skill helps identify and prevent denial-of-service vulnerabilities in smart contracts that arise from unexpected reverts during external calls or critical logic checks.

Core Features & Use Cases

• Vulnerability Detection: Identifies patterns leading to DoS, such as push-payment loops or strict balance checks vulnerable to force-sent ETH.
• Remediation Guidance: Provides clear instructions on how to refactor vulnerable code, like switching to pull-payment patterns or validating denominators.
• Use Case: A developer can use this Skill to scan their new smart contract code and quickly pinpoint functions that might fail entirely if a single recipient's payment reverts, ensuring all users can receive their funds.

Quick Start

Analyze the provided Solidity code for potential denial-of-service vulnerabilities related to unexpected reverts.