Expand description
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§
- Alias
State 🔒 - Call
Context 🔒 - A finite call-graph key that distinguishes storage aliases without depending on values.
- Call
Summary 🔒 - Entry
Analyzer 🔒 - Flow
State 🔒 - Function
Summary 🔒 - Loop
Flow 🔒 - Modifier
Continuation 🔒 - Protection
Targets 🔒
Enums§
Statics§
Functions§
- callable_
signature 🔒 - collect_
slot_ 🔒roots - collect_
state_ 🔒lhs_ vars - effective_
entry_ 🔒points - has_
write_ 🔒protection_ token - is_
break_ 🔒stmt - is_
dynamic_ 🔒array_ or_ bytes - is_
loop_ 🔒termination_ if - 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_
persistent_ 🔒storage_ write_ builtin - is_
static_ 🔒internal_ base - lhs_
local_ 🔒var - merge_
alias_ 🔒states - merge_
flow_ 🔒state_ into - merge_
flow_ 🔒states - merge_
root_ 🔒maps - parse_
write_ 🔒protection - protected_
variables 🔒 - slither_
function_ 🔒parameter - Formats the Solidity-signature types used by Slither function lookup.
- slot_
roots 🔒 - source_
type_ 🔒signature - Formats the source-level types used by Slither modifier signatures.
- state_
lhs_ 🔒vars - write_
protection_ 🔒token
Type Aliases§
- RootMap 🔒
- Storage
Roots 🔒