xchg dword ptr [r8 - 0x20], ebx

Opcode: 418758e0

Instruction: XCHG
Undefined flags: none

Total states: 120
State # flag mem0_value r8 rbx rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
100 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF000000FE Δ 0x0000666666010120 0x0000666666010120 = 0x00000000000000FE 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
101 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF000000FF Δ 0x0000666666010120 0x0000666666010120 = 0x00000000000000FF 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
102 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF0000FF00 Δ 0x0000666666010120 0x0000666666010120 = 0x000000000000FF00 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
103 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF0000FF01 Δ 0x0000666666010120 0x0000666666010120 = 0x000000000000FF01 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
104 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF0000FF02 Δ 0x0000666666010120 0x0000666666010120 = 0x000000000000FF02 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
105 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF0000FF80 Δ 0x0000666666010120 0x0000666666010120 = 0x000000000000FF80 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
106 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF0000FFFE Δ 0x0000666666010120 0x0000666666010120 = 0x000000000000FFFE 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
107 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFF0000FFFF Δ 0x0000666666010120 0x0000666666010120 = 0x000000000000FFFF 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
108 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000666666010120 0x0000666666010120 = 0x00000000FFFFFF00 0x00000000FFFFFF00 = 0x0000000000000000 Δ
109 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF01 Δ 0x0000666666010120 0x0000666666010120 = 0x00000000FFFFFF01 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
110 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF02 Δ 0x0000666666010120 0x0000666666010120 = 0x00000000FFFFFF02 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
111 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF80 Δ 0x0000666666010120 0x0000666666010120 = 0x00000000FFFFFF80 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
112 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFFFE Δ 0x0000666666010120 0x0000666666010120 = 0x00000000FFFFFFFE 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
113 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFFFF Δ 0x0000666666010120 0x0000666666010120 = 0x00000000FFFFFFFF 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
114 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF00 = 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF00 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
115 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF01 Δ 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF01 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
116 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF02 Δ 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF02 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
117 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFF80 Δ 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFF80 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
118 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFFFE Δ 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFE 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
119 0x0000000000010002 Δ 0xFFFFFFFFFFFFFF00 0xFFFFFFFFFFFFFFFF Δ 0x0000666666010120 0x0000666666010120 = 0xFFFFFFFFFFFFFFFF 0x00000000FFFFFF00 Δ 0x0000000000000000 Δ
← Prev Page 3 of 3