semantic-guard-analysis

Name: semantic-guard-analysis
Availability: InStock
Author: Ramprasad

Detect logic vulnerabilities in smart contracts via guard-state consistency analysis.

1|Updated Feb 17, 2026

Search Tags:#security audit #vulnerability detection #smart contract #solidity #logic bugs #guard analysis

Ready to run

npx skills add https://github.com/Ramprasad4121/srp --skill semantic-guard-analysis

💬 Prompt for ChatGPT / Claude Chat▼

Please help me install this Agent Skill.
Skill: semantic-guard-analysis
Source: https://github.com/Ramprasad4121/srp/tree/main/skills-repos/quillai/plugins/semantic-guard-analysis/skills/semantic-guard-analysis
Command: npx skills add https://github.com/Ramprasad4121/srp --skill semantic-guard-analysis

SYSTEM DOCUMENTATION & REQUIREMENTS

💡 This Skill includes references (resource) components.

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.

Frequently Asked Questions about semantic-guard-analysis

High-intent search queries and answers about installing and using this skill.

FAQPage Schema

How do I find missing modifiers and logic bugs in Solidity smart contracts?▼

You can detect missing access controls by mapping state variables and building dependency graphs to identify functions bypassing require statements or modifiers established by the contract's own patterns.

How does guard-state consistency analysis identify inconsistent pause checks?▼

Guard-state consistency analysis identifies inconsistent pause checks by treating the contract as its own specification, using AST parsing and anomaly detection to flag functions missing security guards applied elsewhere to critical state variables.

Can I audit smart contracts for forgotten access controls when traditional security tools find no issues?▼

Yes, you can audit smart contracts for forgotten access controls by analyzing deviations from established guard patterns, pinpointing missing require statements or modifiers even when traditional vulnerability detection tools report zero issues.

What is the Consistency Principle in smart contract security auditing?▼

The Consistency Principle in smart contract security auditing dictates that a contract is its own specification, meaning functions accessing the same state variable should consistently apply identical security guards across all operations.

Does vulnerability detection for logic bugs require AST parsing and state mapping?▼

Yes, vulnerability detection for logic bugs requires AST parsing, state mapping, and dependency graph construction to systematically compare applied guards against expected access controls across all relevant functions within the contract.