Module missing_events_access_control 

Structs

State 🔒

StateWrite 🔒

WriteAnalyzer 🔒

Collects writes to targets reachable from an entry point and marks those an emit covers.

Enums

Source 🔒

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

Statics

MISSING_EVENTS_ACCESS_CONTROL

Functions

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.

normalize 🔒

Type Aliases

Sources 🔒