Module function_selector_collision 

Structs

CalldataInput 🔒

A parameter that initially holds the full msg.data: the fallback’s own, or one of the modifier-th applied modifier (the same modifier may be applied several times).

Continuation 🔒

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

DelegateTarget 🔒

DelegateTargetCollector 🔒

LoopControl 🔒

PathState 🔒

SelectorFilter 🔒

The msg.sig constraints known to hold on a path.

Constants

MAX_LOOP_PATH_STATES 🔒

Path-state cap above which selector constraints are widened to “any selector”.

Statics

FUNCTION_SELECTOR_COLLISION

Functions

dedup 🔒

delegated_contract 🔒

The statically typed implementation contract of a proxy-style <addr>.delegatecall(<full calldata>), with the calldata input that must be unmodified for the forwarding to be complete.

extend_unique 🔒

full_calldata_source 🔒

Some(None) for msg.data, Some(Some(input)) for a known full-calldata input, None otherwise.

lvalue_contains_var 🔒

selector_guard 🔒

msg.sig == F.selector / msg.sig != F.selector as (selector, matches).

typed_contract_behind_address_cast 🔒