2 مستودعات
Detects derived contracts that redeclare state variables from base contracts, breaking inherited modifiers and functions.
Distinct from Smart Contract Analysis: Distinct from Smart Contract Analysis: focuses specifically on detecting state variable shadowing, not general security or style analysis.
Explore 2 awesome GitHub repositories matching part of an awesome list · State Variable Shadowing Detectors. Refine with filters or upvote what's useful.
Trail of Bits flags derived contracts that redeclare state variables from their base contracts, breaking inherited modifiers and functions.
This project serves as a comprehensive knowledge base and technical reference for identifying and mitigating security vulnerabilities in smart contracts. It provides a structured catalog of common attack vectors, logic errors, and insecure coding patterns, offering developers and auditors a centralized resource for implementing secure decentralized applications. The repository distinguishes itself by covering the full lifecycle of contract security, from low-level arithmetic safety and compiler constraints to high-level architectural patterns. It details specific defensive strategies for mana
Provides automated detection of state variable shadowing in inherited contracts to prevent logic errors.