crc32 eax, dword ptr [r8 + 0x0]

Opcode: f2410f38f100

Instruction: CRC32
Undefined flags: none

Total states: 150
State # flag mem0_value r8 rax rdx
InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ InitialFinalΔ
50 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FE 0x000000002803E842 Δ 0x0000000000000000 Δ
51 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FE 0x000000001881A844 Δ 0x0000000000000000 Δ
52 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FE 0x0000000036E3A06D Δ 0x0000000000000000 Δ
53 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FE 0x000000009F9B5C7A Δ 0x0000000000000000 Δ
54 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FE 0x0000000042DEF6C2 Δ 0x0000000000000000 Δ
55 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FF 0x00000000F54642FA Δ 0x0000000000000000 Δ
56 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FF 0x00000000C5C402FC Δ 0x0000000000000000 Δ
57 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FF 0x00000000EBA60AD5 Δ 0x0000000000000000 Δ
58 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FF 0x0000000042DEF6C2 Δ 0x0000000000000000 Δ
59 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x00000000000000FF 0x000000009F9B5C7A Δ 0x0000000000000000 Δ
60 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF00 0x000000004C408110 Δ 0x0000000000000000 Δ
61 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF00 0x000000007CC2C116 Δ 0x0000000000000000 Δ
62 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF00 0x0000000052A0C93F Δ 0x0000000000000000 Δ
63 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF00 0x00000000FBD83528 Δ 0x0000000000000000 Δ
64 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF00 0x00000000269D9F90 Δ 0x0000000000000000 Δ
65 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF01 0x0000000091052BA8 Δ 0x0000000000000000 Δ
66 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF01 0x00000000A1876BAE Δ 0x0000000000000000 Δ
67 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF01 0x000000008FE56387 Δ 0x0000000000000000 Δ
68 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF01 0x00000000269D9F90 Δ 0x0000000000000000 Δ
69 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF01 0x00000000FBD83528 Δ 0x0000000000000000 Δ
70 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF02 0x00000000F327A291 Δ 0x0000000000000000 Δ
71 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF02 0x00000000C3A5E297 Δ 0x0000000000000000 Δ
72 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF02 0x00000000EDC7EABE Δ 0x0000000000000000 Δ
73 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF02 0x0000000044BF16A9 Δ 0x0000000000000000 Δ
74 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF02 0x0000000099FABC11 Δ 0x0000000000000000 Δ
75 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF80 0x000000001EE0482F Δ 0x0000000000000000 Δ
76 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF80 0x000000002E620829 Δ 0x0000000000000000 Δ
77 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF80 0x0000000000000000 Δ 0x0000000000000000 Δ
78 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF80 0x00000000A978FC17 Δ 0x0000000000000000 Δ
79 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x000000000000FF80 0x00000000743D56AF Δ 0x0000000000000000 Δ
80 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFE 0x00000000B906C3EA Δ 0x0000000000000000 Δ
81 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFE 0x00000000898483EC Δ 0x0000000000000000 Δ
82 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFE 0x00000000A7E68BC5 Δ 0x0000000000000000 Δ
83 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFE 0x000000000E9E77D2 Δ 0x0000000000000000 Δ
84 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFE 0x00000000D3DBDD6A Δ 0x0000000000000000 Δ
85 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFF 0x0000000064436952 Δ 0x0000000000000000 Δ
86 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFF 0x0000000054C12954 Δ 0x0000000000000000 Δ
87 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFF 0x000000007AA3217D Δ 0x0000000000000000 Δ
88 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFF 0x00000000D3DBDD6A Δ 0x0000000000000000 Δ
89 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x000000000000FFFF 0x000000000E9E77D2 Δ 0x0000000000000000 Δ
90 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF00 0x0000000042DEF6C2 Δ 0x0000000000000000 Δ
91 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF00 0x00000000725CB6C4 Δ 0x0000000000000000 Δ
92 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF00 0x000000005C3EBEED Δ 0x0000000000000000 Δ
93 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF00 0x00000000F54642FA Δ 0x0000000000000000 Δ
94 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF00 0x000000002803E842 Δ 0x0000000000000000 Δ
95 0x0000000000010002 Δ 0x0000000000000001 0x0000000000000001 = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF01 0x000000009F9B5C7A Δ 0x0000000000000000 Δ
96 0x0000000000010002 Δ 0x0000000000000082 0x0000000000000082 = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF01 0x00000000AF191C7C Δ 0x0000000000000000 Δ
97 0x0000000000010002 Δ 0x000000000000FF80 0x000000000000FF80 = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF01 0x00000000817B1455 Δ 0x0000000000000000 Δ
98 0x0000000000010002 Δ 0x00000000FFFFFFFE 0x00000000FFFFFFFE = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF01 0x000000002803E842 Δ 0x0000000000000000 Δ
99 0x0000000000010002 Δ 0xFFFFFFFFFFFFFFFF 0xFFFFFFFFFFFFFFFF = 0x0000666666010100 0x0000666666010100 = 0x00000000FFFFFF01 0x00000000F54642FA Δ 0x0000000000000000 Δ
← Prev Page 2 of 3 Next →