Module locked_ether 

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.