Module uninitialized_state_variables 

Re-exports

use super::UninitializedStateVariables; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::referenced_item; 🔒

use crate::sol::analysis::tuple_elems; 🔒

use solar::ast::ContractKind; 🔒

use solar::interface::data_structures::Never; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::Hir; 🔒

use solar::sema::hir::Contract; 🔒

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

use solar::sema::hir::DataLocation; 🔒

use solar::sema::hir::Expr; 🔒

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

use solar::sema::hir::Function; 🔒

use solar::sema::hir::Stmt; 🔒

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

use solar::sema::hir::TypeKind; 🔒

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

use solar::sema::hir::Visit; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

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.