Module uninitialized_state_variables 

Structs

Collector 🔒

Statics

UNINITIALIZED_STATE_VARIABLES

Functions

is_local_storage_var 🔒

is_storage_pointer 🔒

A bare local storage pointer.

root_vars 🔒

The variables an expression is rooted in, through indexing, member access and ternaries.

storage_aliases 🔒

Collects, flow-insensitively, the state variables each local storage pointer declared in func may reference: every assignment contributes to the pointer’s target set, and pointers assigned from other pointers are resolved transitively.

Type Aliases

Aliases 🔒

Maps local storage pointers to the state variables they may reference.