semantic-guard-analysis

What problem does it solve?

This Skill detects logic vulnerabilities in smart contracts by analyzing how consistently functions apply security checks (guards) to state variables, identifying deviations from the contract's own established patterns.

Core Features & Use Cases

• Guard-State Consistency Analysis: Identifies functions that bypass security checks (require, modifiers) that other functions consistently apply to the same state variables.
• Vulnerability Detection: Pinpoints missing access controls, inconsistent pause checks, logic bugs, and forgotten modifiers, especially when traditional tools report no issues.
• Use Case: Auditing a smart contract where you suspect a critical financial state variable is not being protected by the paused modifier in all relevant functions, even though it is in most.

Quick Start

Analyze the provided smart contract code for guard-state inconsistencies.