mov word ptr [r8 + r9 * 1 + 0x20], 0x0

Opcode: 6643c74408200000

Instruction: MOV
Undefined flags: none

Total states: 4
State # flag mem0_value r8 r9
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
0 — 0x0000000000010002 Δ 0x000000000000007F 0x0000000000000000 Δ 0x00006666660100DD 0x00006666660100DD = 0x0000000000000003 0x0000000000000003 =
1 — 0x0000000000010002 Δ 0x000000000000FF00 0x0000000000000000 Δ 0x00006666660100DD 0x00006666660100DD = 0x0000000000000003 0x0000000000000003 =
2 — 0x0000000000010002 Δ 0x00000000FFFFFF01 0x00000000FFFF0000 Δ 0x00006666660100DD 0x00006666660100DD = 0x0000000000000003 0x0000000000000003 =
3 — 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF02 0xFFFFFFFFFFFF0000 Δ 0x00006666660100DD 0x00006666660100DD = 0x0000000000000003 0x0000000000000003 =
Page 1 of 1