Module controlled_delegatecall

Structs§

Analyzer 🔒: Flow-sensitive walk tracking which local address variables provably hold a trusted target.

HELPER_DEPTH 🔒: How many levels of no-argument helper functions are inlined when checking a target.

intersect 🔒
is_cast 🔒: address(..), IFoo(..), uintN(..), intN(..) or bytes(..) cast head.
modifier_safe_vars 🔒: Caller variables proven trusted by the statements a modifier runs before _: a parameter that is bound to the variable, never reassigned in the prefix, and safe when _ is reached.
no_arg_helper_return 🔒: The expression returned by a non-virtual, non-overriding, parameterless helper whose body is a single return <expr>; or <ret> = <expr>; (optionally followed by a bare return;).
underlying_var 🔒: The variable a bare identifier refers to, looking through parens, payable(...) and address-like or numeric casts.