Module unprotected_initializer 

Re-exports

use super::UnprotectedInitializer; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::is_builtin; 🔒

use crate::sol::analysis::runtime_entry_points; 🔒

use alloy_primitives::map::HashSet; 🔒

use solar::ast::ContractKind; 🔒

use solar::ast::DataLocation; 🔒

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir; 🔒

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

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

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

use solar::sema::hir::FunctionId; 🔒

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

use solar::sema::ty::TyKind; 🔒

use std::ops::ControlFlow; 🔒

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.