reentrancy-pattern-analysis

v1.0.0

Systematic detection of all reentrancy variants in smart contracts — classic, cross-function, cross-contract, and read-only reentrancy. Verifies CEI pattern compliance, traces external call positions relative to state changes, and detects callback-based attack vectors through ERC-777/ERC-1155 hooks.

Claude Code1 skill

by QuillShield117updated 4 months ago

Source

$ git clone https://github.com/quillai-network/quillshield_skills

Clone the source, then follow the repository's marketplace instructions for your runtime. The plugin root is plugins/reentrancy-pattern-analysis/ inside the repository.

Layout

plugins/reentrancy-pattern-analysis/

├── .claude-plugin/plugin.json
└── skills/reentrancy-pattern-analysis/SKILL.md

Skills1

reentrancy-pattern-analysisskills/reentrancy-pattern-analysis/SKILL.md

Systematically detects all reentrancy vulnerability variants in smart contracts — classic, cross-function, cross-contract, and read-only reentrancy. Builds call graphs, verifies CEI (Checks-Effects-Interactions) pattern compliance, traces state changes relative to external calls, and identifies callback vectors through ERC-777/ERC-1155 hooks. Use when auditing contracts that make external calls, transfer ETH or tokens, interact with callback-enabled standards, or have complex multi-contract architectures.

Manifests1

plugins/reentrancy-pattern-analysis/.claude-plugin/plugin.json

{
  "name": "reentrancy-pattern-analysis",
  "version": "1.0.0",
  "description": "Systematic detection of all reentrancy variants in smart contracts — classic, cross-function, cross-contract, and read-only reentrancy. Verifies CEI pattern compliance, traces external call positions relative to state changes, and detects callback-based attack vectors through ERC-777/ERC-1155 hooks.",
  "author": {
    "name": "QuillShield",
    "url": "https://github.com/quillai-network"
  }
}