Module external_function 

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.