Module unprotected_initializer 

Structs

Reach 🔒

Statics

UNPROTECTED_INITIALIZER

Functions

has_initializer_modifier 🔒

has_modifier_named 🔒

internal_callee 🔒

The selected internal function in the analyzed contract’s dispatch context.

is_destructive_call 🔒

x.delegatecall(..) or selfdestruct(..).

lhs_writes_state 🔒

A state variable, or a member/index of an expression that denotes contract storage.

reaches 🔒

True if hit matches an expression in fid’s body or, transitively, in the body of any internal function it calls.

references_storage 🔒

writes_state 🔒

An assignment, delete, ++/-- or push/pop whose target lives in contract storage.