CODE / LOGIC / ASSUMPTIONS

Follow the
execution.

An execution-focused view of smart contract security: inspect branches, call behavior, and the state they leave behind.

ILLUSTRATIVE REVIEW TRACE

01  INPUT      → boundary
02  CHECK      → permission
03  CALL       → dependency
04  UPDATE     → state
05  ASSERT     → property

Code → behavior → evidence

Inspect what runs

Review relevant execution paths, failure modes, and assumptions at external call boundaries.

Scope → Review → Findings → Follow-up