Module return_bomb 

Statics

RETURN_BOMB

Functions

call_with_gas_returns_dynamic_data 🔒

Returns true for gas-limited calls that return dynamic data.

callee_is_address_returning_builtin 🔒

expr_is_address 🔒

Returns true if an expression is known to have an address type.

is_dynamic_ty 🔒

low_level_call_with_gas_consumes_unbounded_return_data 🔒

Returns true for gas-limited low-level calls that copy unbounded returndata.

member_is_builtin_address 🔒

ty_is_address 🔒