Symbolic Execution — interactive widgets

Companion demos for the SE / SMT notes.

Two's complement explorer

Flip bits, see signed vs unsigned, and the wrap-around number circle.

Memory & endianness explorer

How a 64-bit value lays out byte by byte, little- vs big-endian.

x86-64 register explorer

Sub-register aliases and the identity-vs-value distinction.

x86 status flags explorer

Simulate ADD/SUB/DEC and watch CF, ZF, SF, OF, AF, PF.

Instruction operands & state transition

DEC targets a register by identity, not value: pre -> post.

SDM entry reader: DEC & ROL

Annotated manual pseudocode, including OF-undefined after ROL.