Module reentrancy_events 

Structs

Analyzer 🔒

Exits 🔒

How control can leave a piece of code. Each exit kind records whether an external call was seen on some path reaching it; None means no path exits that way. Aborting paths (revert, require(false), …) are simply absent, so they cannot taint later statements.

InlineCallKey 🔒

Statics

REENTRANCY_EVENTS

Functions

join 🔒

Joins two path states: reachable if either is, tainted if either is.

Type Aliases

Placeholder 🔒