Module missing_events_access_control

Structs§

State 🔒
StateWrite 🔒
WriteAnalyzer 🔒: Collects writes to targets reachable from an entry point and marks those an emit covers.

Source 🔒: Where a written value may come from: an entry-point parameter or state variable, or the caller.

correlate_pending 🔒
emitted_event_id 🔒
event_mentions_state_var 🔒: Whether the event name or one of its parameter names mentions the state variable: its normalized name, its singular form, or a role keyword it contains.
for_each_lhs_index 🔒: Calls f on every index and slice bound along the spine of an lvalue.
merge_branches 🔒: Joins the two arms of an if: a pending write stays covered only if both arms emitted for it, while taint and aliases come from whichever arms can continue past the if. Emits recorded inside either arm are dropped rather than carried past the merge: correlate_pending already resolved them against that arm’s own writes before this runs, and code after the if executes whichever branch ran (or neither), so an emit conditional on one arm must not retroactively satisfy a write reachable only outside it.
merge_try_clauses 🔒: Joins mutually exclusive try/catch clauses. Pre-existing writes need an event in every clause, including exiting clauses: a return preserves writes, unlike a revert. Taint and aliases only merge from continuing clauses; clause-local emits are discarded.
normalize 🔒