Module missing_events_arithmetic 

Structs

Flow 🔒

Paths leaving a statement: those continuing to the next statement and those that returned (which skip the rest of the body but still run the modifiers’ trailing code).

StateWrite 🔒

UseAnalyzer 🔒

Finds target state variables that flow into arithmetic, following locals and internal calls.

WriteAnalyzer 🔒

Collects writes to target variables that no later emit on the same path covers.

WriteState 🔒

Analysis state along one control-flow path.

Enums

Mode 🔒

Statics

MISSING_EVENTS_ARITHMETIC

Functions

is_arithmetic_op 🔒

merge 🔒