Module missing_zero_check

Structs§

Analyzer 🔒: Tracks address-parameter taint, sinks reached, and guards observed in a function body.

address_call_receiver 🔒: If callee is <receiver>.{call,delegatecall,transfer,send} (with or without call options), returns the <receiver> expression.
branch_always_exits 🔒
collect_modifier_guards 🔒: Maps each direct-ident modifier argument back to its caller-side parameter, runs the same guard analysis on the modifier body, and records any caller params whose mapped modifier parameter is guarded.
collect_taint_sources 🔒
is_address 🔒
is_address_state_var_lhs 🔒
is_entry_point 🔒: Externally callable, state-mutating functions and constructors.
is_require_or_assert 🔒
lhs_local_var 🔒: Returns the underlying local VariableId if lhs is a direct identifier reference to a non-state variable.