Module controlled_delegatecall 

Re-exports

use super::ControlledDelegatecall; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::arg_for_param; 🔒

use crate::sol::analysis::branch_always_exits; 🔒

use crate::sol::analysis::count_placeholders; 🔒

use crate::sol::analysis::do_while_user_stmts; 🔒

use crate::sol::analysis::has_side_effect; 🔒

use crate::sol::analysis::is_address_like_cast; 🔒

use crate::sol::analysis::is_loop_termination_if; 🔒

use crate::sol::analysis::is_require_or_assert; 🔒

use crate::sol::analysis::loop_update; 🔒

use crate::sol::analysis::stmts_before_placeholder; 🔒

use crate::sol::analysis::stmts_break_or_continue; 🔒

use crate::sol::analysis::tuple_elems; 🔒

use crate::sol::analysis::var_is_address_like; 🔒

use solar::ast::BinOpKind; 🔒

use solar::ast::LitKind; 🔒

use solar::ast::UnOpKind; 🔒

use solar::interface::Span; 🔒

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::builtins::Builtin; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::ElementaryType; 🔒

use solar::sema::hir::Expr; 🔒

use solar::sema::hir::ExprKind; 🔒

use solar::sema::hir::FunctionKind; 🔒

use solar::sema::hir::ItemId; 🔒

use solar::sema::hir::LoopSource; 🔒

use solar::sema::hir::Res; 🔒

use solar::sema::hir::Stmt; 🔒

use solar::sema::hir::StmtKind; 🔒

use solar::sema::hir::TypeKind; 🔒

use solar::sema::hir::VariableId; 🔒

use solar::sema::hir::Visit; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

Structs

Analyzer 🔒

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

Constants

HELPER_DEPTH 🔒

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

Statics

CONTROLLED_DELEGATECALL

Functions

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 casts or integer casts preserving all 160 address bits.