Module missing_zero_check 

Structs

Analyzer 🔒

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

Statics

MISSING_ZERO_CHECK

Functions

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_state_var_lhs 🔒

is_entry_point 🔒

Externally callable, state-mutating functions and constructors.

lhs_local_var 🔒

Returns the underlying local VariableId if lhs is a direct identifier reference to a non-state variable.