Module protected_vars 

Slither-compatible protected-variable control-flow analysis.

Storage references are tracked as may-alias sets across internal calls and control-flow joins. Calls are memoized by their storage, slot, and guard context so recursive propagation terminates.

Structs

AliasState 🔒

CallContext 🔒

A finite call-graph key that distinguishes storage aliases without depending on values.

CallSummary 🔒

EntryAnalyzer 🔒

FlowState 🔒

LoopFlow 🔒

States collected at break/continue statements of the innermost loop.

ModifierContinuation 🔒

What _ resumes: the rest of the modifier chain and the function body.

Statics

PROTECTED_VARS

Functions

analyze_entry 🔒

Runs the entry to a fixpoint over the memoized call summaries and returns, per written state variable, the guards that held on every path to some write.

callable_signature 🔒

is_most_derived_contract 🔒

Slither analyzes the effective entry points of leaf contracts so inherited declarations are interpreted in the context in which they are ultimately deployed.

is_static_internal_base 🔒

super.f, Base.f or Lib.f: a statically dispatched internal call.

join 🔒

Joins state into the accumulated state of the paths that reach a point.

protected_variables 🔒

Protected state variables with their @custom:security write-protection="<sig>" requirements; None marks a malformed annotation.

protection_targets 🔒

Guard functions and modifiers by Slither signature. Functions take precedence over modifiers; within a kind, linearization order keeps the most-derived declaration and drops shadowed ones.

slither_function_parameter 🔒

Formats the Solidity-signature types used by Slither function lookup.

source_type_signature 🔒

Formats the source-level types used by Slither modifier signatures.

write_protection_token 🔒

Byte offset of a standalone write-protection token in content.

Type Aliases

RootMap 🔒

StorageRoots 🔒