Module external_function 

Re-exports

use super::ExternalFunction; 🔒

use crate::linter::LateLintPass; 🔒

use crate::linter::LintContext; 🔒

use crate::sol::Severity; 🔒

use crate::sol::SolLint; 🔒

use crate::sol::analysis::is_builtin; 🔒

use solar::ast::ContractKind; 🔒

use solar::ast::DataLocation; 🔒

use solar::ast::Visibility; 🔒

use solar::interface::data_structures::Never; 🔒

use solar::interface::sym; 🔒

use solar::sema::Gcx; 🔒

use solar::sema::hir; 🔒

use solar::sema::hir::ContractId; 🔒

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

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

use solar::sema::hir::FunctionId; 🔒

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

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

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

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

use solar::sema::ty::TyKind; 🔒

use std::cell::RefCell; 🔒

use std::collections::HashMap; 🔒

use std::collections::HashSet; 🔒

use std::ops::ControlFlow; 🔒

use std::rc::Rc; 🔒

Structs

IndexBuilder 🔒

ParamEscapeFinder 🔒

Breaks when a parameter is written, aliased, passed to a callee or modifier that could mutate it through the internal-call memory-reference aliasing rule.

ProjectIndex 🔒

Constants

PROJECT_INDEX 🔒

Project index keyed by the HIR address, which is stable for the whole lint run, so the index is built once instead of once per contract.

Statics

EXTERNAL_FUNCTION

Functions

build_project_index 🔒

is_memory_reference 🔒

project_index 🔒

root_var_is 🔒

Whether the variable at the root of expr (through parens, members, indexes and slices) satisfies pred.