Access control
Two callers approach a role modifier: the authorised one passes through the opened section into the function body while the unroled one is turned back with a cross.
Two callers approach a role modifier: the authorised one passes through the opened section into the function body while the unroled one is turned back with a cross.
A scan rule travels down a listing of contract functions and severity pips accumulate in the right margin as it passes each line, the critical finding landing last.
A four-byte function selector and three argument words pack one after another into the call buffer, and the contract's entry marker lights once the buffer is complete.
Logic held in the library contract is executed inside the caller's own frame, so a copy of the block appears in the caller's execution slot and the caller's storage word extends while the library block stays put.
A compiled bytecode block travels from the build stack and settles into an empty address slot on the chain rail, which then holds a written address digest.
A deposit sits held in the escrow box between payer and beneficiary, and only when the condition tick is drawn does the release rail carry it across.
A call token crosses from one contract to another on the upper rail, the callee's body executes line by line, and a return value comes back on the lower rail.
A gas budget bar ruled into opcode ticks fills in discrete steps as execution proceeds, stopping short of the limit flag and leaving a bracketed remainder to refund.
An unchecked counter bar climbs the type's range towards the ceiling rule, reaches it and wraps back to an empty bar at the bottom while the carry arrow lights.
A withdrawal calls out to an external contract and the call curls straight back into the entry point, opening a second invocation frame before the balance write has landed.
Execution climbs a ladder of call frames, fails at the top, and every frame unwinds in reverse until the state pointer is back at the entry frame.
Three contract states sit on a ring and a token steps between them, each guarded edge brightening as the transition crosses it.
A column of contract storage slots where one word's value is cleared back to its previous length and rewritten, with a dirty marker set on the changed slot.
A queued change waits behind a delay bar that drains to zero, and only then does the execute gate lift and let the change through.
A fixed proxy address holds an implementation pointer that swings between the retiring version and the new one, the live implementation brightening as the pointer lands on it.