Module locked_ether 

Re-exports

use super::LockedEther; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::block_outcome; 🔒

use crate::sol::analysis::expr_is_address; 🔒

use crate::sol::analysis::is_address_self; 🔒

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

use crate::sol::analysis::is_contract_cast; 🔒

use crate::sol::analysis::is_literal_zero; 🔒

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

use solar::ast::ContractKind; 🔒

use solar::ast::StateMutability; 🔒

use solar::interface::Span; 🔒

use solar::interface::kw; 🔒

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

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

use solar::sema::hir; 🔒

use solar::sema::hir::Block; 🔒

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

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

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

use solar::sema::hir::ItemId; 🔒

use solar::sema::hir::Res; 🔒

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

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

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

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

Structs

SendChecker 🔒

HIR visitor that short-circuits on the first ETH-sending expression and queues statically resolved callees for transitive exploration by the outer worklist loop.

Statics

LOCKED_ETHER

Functions

always_reverts 🔒

True if invoking func always reverts, through its body or an attached modifier (one that reverts before its first _ or after its last one).

expr_sends_ether 🔒

True if expr unambiguously moves ETH out of the contract: a non-zero {value: x} call option, .transfer/.send with a non-zero amount, low-level .delegatecall/.callcode (drainable via selfdestruct), or the selfdestruct builtin. Only literal 0 is treated as a zero amount, and sends targeting this contract’s own address are not exits.