Module locked_ether 

Structs

SendChecker 🔒

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

Constants

FALLTHROUGH 🔒

NON_REVERT_EXIT 🔒

REVERT 🔒

What execution of a statement (or list) may do. A block “always reverts” iff its outcome set is exactly REVERT — no FALLTHROUGH and no NON_REVERT_EXIT.

Statics

LOCKED_ETHER

Functions

args_match 🔒

Returns true if args can target params by arity and (when inferable) by type at each position. Arguments whose type cannot be inferred do not reject a candidate.

effective_runtime_dispatch_surface 🔒

Runtime entry points reachable on the deployed contract: the most-derived implementation of each (name, parameter signature) plus the most-derived receive / fallback. bases must be the C3 linearization (leaf first). Later entries with the same key are overridden and dropped. Constructors and modifiers are excluded.

expr_sends_ether 🔒

Returns 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; any other expression is assumed non-zero.

expr_type 🔒

Best-effort static type of an expression. Returns None when the type cannot be inferred from the expression’s shape alone; callers treat that as “do not narrow on this position”.

function_always_reverts 🔒

Returns true if invoking func always reverts, either via its body or an attached modifier.

is_address_builtin_member 🔒

msg.sender, tx.origin, block.coinbase.

is_literal_false 🔒

is_literal_zero 🔒

Returns true if the expression is the integer literal 0.

is_self_address 🔒

Returns true when expr syntactically denotes this contract’s own address: this, address(this), payable(this), a contract/interface cast IFoo(<self>), or any nested combination thereof.

is_type_cast_callee 🔒

T(...) callee where T names a type: an elementary type, a contract/interface, or any other item used in a single-argument cast position.

is_unconditional_revert_call 🔒

Matches revert()/revert("msg"), require(false[, "msg"]), and assert(false).

modifier_always_reverts 🔒

Returns true if the modifier always reverts: before the first _, or after the last one.

parameter_signature 🔒

Structural string for a parameter list, used as a hash key to dedup overloads across the inheritance chain.

receiver_is_address 🔒

Returns true if expr is statically typed as address/address payable. Contract-typed receivers are intentionally rejected: .transfer / .send on them dispatch to a user-defined member, not the EVM opcode.

resolve_member_return_type 🔒

Single-return type of name defined on cid or any of its bases, restricted to overloads compatible with args. Walks the linearization most-derived first.

single_return_type 🔒

Return type of fid when it has exactly one return value.

stmt_outcomes 🔒

stmts_always_revert 🔒

stmts_outcomes 🔒

Walks stmts left-to-right. Each statement’s outcome set replaces the prior FALLTHROUGH bit (since we only reach the next stmt by falling through). We stop as soon as a stmt cannot fall through, because nothing after it is reachable.

struct_field_type 🔒

Type of struct field name declared in sid.

types_compatible 🔒

Conservative type-compatibility check: only obvious matches and standard widenings count. Anything else returns false.

write_type_signature 🔒