Module primitives 

Side-effect-free syntactic/semantic probes over solar HIR.

Functions

address_call_receiver

Receiver of <expr>.{call,delegatecall,transfer,send}, including the .call{value: x}(...) option form.

branch_always_exits

True when executing stmt provably prevents control from continuing past it: a return, revert/revert(...), require(false, ...), assert(false), a block containing any such statement (any subsequent statements are unreachable), or an if whose both arms exit.

is_address_type

True if vid is typed as address/address payable.

is_builtin 🔒

True if expr references the named global builtin (msg, tx, this, …).

is_exit_call 🔒

is_require_or_assert

True if callee resolves to the builtin require or assert.