crc32 rax, byte ptr [0x666666010100]

Opcode: f2480f38f00500f19aff

Instruction: CRC32
Undefined flags: none

Total states: 150
State # flag mem0_value rax rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
100 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000FFFFFF02 0x00000000E1C48F08 Δ 0x0000000000000000 Δ
101 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000FFFFFF02 0x0000000091593773 Δ 0x0000000000000000 Δ
102 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0x00000000FFFFFF02 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
103 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0x00000000FFFFFF02 0x000000006332B470 Δ 0x0000000000000000 Δ
104 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000FFFFFF02 0x00000000BED25F5A Δ 0x0000000000000000 Δ
105 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000FFFFFF80 0x000000008209C487 Δ 0x0000000000000000 Δ
106 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000FFFFFF80 0x00000000F2947CFC Δ 0x0000000000000000 Δ
107 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0x00000000FFFFFF80 0x000000006332B470 Δ 0x0000000000000000 Δ
108 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0x00000000FFFFFF80 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
109 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000FFFFFF80 0x00000000DD1F14D5 Δ 0x0000000000000000 Δ
110 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000FFFFFFFE 0x000000005FE92FAD Δ 0x0000000000000000 Δ
111 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000FFFFFFFE 0x000000002F7497D6 Δ 0x0000000000000000 Δ
112 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0x00000000FFFFFFFE 0x00000000BED25F5A Δ 0x0000000000000000 Δ
113 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0x00000000FFFFFFFE 0x00000000DD1F14D5 Δ 0x0000000000000000 Δ
114 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000FFFFFFFE 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
115 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0x00000000FFFFFFFF 0x00000000AD82ACAE Δ 0x0000000000000000 Δ
116 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0x00000000FFFFFFFF 0x00000000DD1F14D5 Δ 0x0000000000000000 Δ
117 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0x00000000FFFFFFFF 0x000000004CB9DC59 Δ 0x0000000000000000 Δ
118 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0x00000000FFFFFFFF 0x000000002F7497D6 Δ 0x0000000000000000 Δ
119 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0x00000000FFFFFFFF 0x00000000F2947CFC Δ 0x0000000000000000 Δ
120 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF00 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
121 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF00 0x0000000070624784 Δ 0x0000000000000000 Δ
122 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFF00 0x00000000E1C48F08 Δ 0x0000000000000000 Δ
123 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFF00 0x000000008209C487 Δ 0x0000000000000000 Δ
124 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF00 0x000000005FE92FAD Δ 0x0000000000000000 Δ
125 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF01 0x00000000F2947CFC Δ 0x0000000000000000 Δ
126 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF01 0x000000008209C487 Δ 0x0000000000000000 Δ
127 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFF01 0x0000000013AF0C0B Δ 0x0000000000000000 Δ
128 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFF01 0x0000000070624784 Δ 0x0000000000000000 Δ
129 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF01 0x00000000AD82ACAE Δ 0x0000000000000000 Δ
130 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF02 0x00000000E1C48F08 Δ 0x0000000000000000 Δ
131 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF02 0x0000000091593773 Δ 0x0000000000000000 Δ
132 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFF02 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
133 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFF02 0x000000006332B470 Δ 0x0000000000000000 Δ
134 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF02 0x00000000BED25F5A Δ 0x0000000000000000 Δ
135 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFF80 0x000000008209C487 Δ 0x0000000000000000 Δ
136 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFF80 0x00000000F2947CFC Δ 0x0000000000000000 Δ
137 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFF80 0x000000006332B470 Δ 0x0000000000000000 Δ
138 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFF80 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
139 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFF80 0x00000000DD1F14D5 Δ 0x0000000000000000 Δ
140 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFE 0x000000005FE92FAD Δ 0x0000000000000000 Δ
141 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFFFE 0x000000002F7497D6 Δ 0x0000000000000000 Δ
142 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFFFE 0x00000000BED25F5A Δ 0x0000000000000000 Δ
143 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFFFE 0x00000000DD1F14D5 Δ 0x0000000000000000 Δ
144 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFE 0x0000000000FFFFFF Δ 0x0000000000000000 Δ
145 0x0000000000010002 Δ 0x0000000000000000 0x0000000000000000 = 0xFFFFFFFFFFFFFFFF 0x00000000AD82ACAE Δ 0x0000000000000000 Δ
146 0x0000000000010002 Δ 0x0000000000000081 0x0000000000000081 = 0xFFFFFFFFFFFFFFFF 0x00000000DD1F14D5 Δ 0x0000000000000000 Δ
147 0x0000000000010002 Δ 0x000000000000FF02 0x000000000000FF02 = 0xFFFFFFFFFFFFFFFF 0x000000004CB9DC59 Δ 0x0000000000000000 Δ
148 0x0000000000010002 Δ 0x00000000FFFFFF80 0x00000000FFFFFF80 = 0xFFFFFFFFFFFFFFFF 0x000000002F7497D6 Δ 0x0000000000000000 Δ
149 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFE 0xFFFFFFFFFFFFFFFE = 0xFFFFFFFFFFFFFFFF 0x00000000F2947CFC Δ 0x0000000000000000 Δ
← Prev Page 3 of 3