Module controlled_delegatecall 

Structs

Analyzer 🔒

AssignedParamCollector 🔒

FlowState 🔒

Constants

HELPER_DEPTH 🔒

Statics

CONTROLLED_DELEGATECALL

Functions

arg_for_param 🔒

branch_always_exits 🔒

callee_no_arg_returns 🔒

collect_modifier_safety 🔒

collect_stmts_before_placeholder 🔒

count_placeholders 🔒

count_placeholders_in_stmt 🔒

do_while_lowered_condition 🔒

do_while_user_stmts 🔒

Strips the trailing if (...) break; that lowers do { ... } while (cond);.

expr_has_fact_side_effect 🔒

function_is_statically_trusted 🔒

function_no_arg_returns 🔒

is_address_like_cast_callee 🔒

is_break_stmt 🔒

is_builtin 🔒

is_exit_call 🔒

is_numeric_cast_callee 🔒

is_require_or_assert 🔒

modifier_prefix 🔒

receiver_is_address 🔒

stmt_has_break_or_continue 🔒

tuple_elems 🔒

tuple_slot 🔒

ty_is_address 🔒

underlying_var 🔒

var_is_address_like 🔒