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.

Re-exports

use super::ProtectedVars; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::branch_always_exits; 🔒

use crate::sol::analysis::is_builtin; 🔒

use crate::sol::analysis::is_loop_termination_if; 🔒

use crate::sol::analysis::lhs_local_var; 🔒

use crate::sol::analysis::loop_update; 🔒

use crate::sol::analysis::runtime_entry_points; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::ContractKind; 🔒

use solar::ast::DataLocation; 🔒

use solar::ast::FunctionKind; 🔒

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::CallArgs; 🔒

use solar::sema::hir::ContractId; 🔒

use solar::sema::hir::ExprId; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::FunctionId; 🔒

use solar::sema::hir::ItemId; 🔒

use solar::sema::hir::LoopSource; 🔒

use solar::sema::hir::NatSpecKind; 🔒

use solar::sema::hir::Res; 🔒

use solar::sema::hir::StmtKind; 🔒

use solar::sema::hir::VariableId; 🔒

use solar::sema::ty::CallableParamSource; 🔒

use solar::sema::ty::Ty; 🔒

use solar::sema::ty::TyAbiPrinter; 🔒

use solar::sema::ty::TyAbiPrinterMode; 🔒

use solar::sema::ty::TyKind; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

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 🔒