cmovpe eax, dword ptr [r8 + 0x0]Opcode: 410f4a00
| State # | flag |
mem0_value |
r8 |
rax |
||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 100 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 101 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 102 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 103 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x0000000000000001
|
Δ |
| 104 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 105 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 106 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x0000000000000082
|
Δ |
| 107 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 108 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 109 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 110 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 111 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x0000000000000082
|
Δ |
| 112 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 113 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 114 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x00000000FFFFFF80
|
Δ |
| 115 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 116 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 117 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 118 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 119 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007E |
0x00000000FFFFFF80
|
Δ |
| 120 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 121 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 122 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x0000000000000001
|
Δ |
| 123 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 124 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 125 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 126 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 127 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x0000000000000001
|
Δ |
| 128 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 129 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 130 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x0000000000000082
|
Δ |
| 131 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 132 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 133 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 134 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 135 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x0000000000000082
|
Δ |
| 136 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 137 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 138 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ |
| 139 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 140 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 141 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 142 | 0x0000000000000800 |
0x0000000000010802
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 143 | 0x00000000000008D5 |
0x00000000000108D7
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x000000000000007F |
0x00000000FFFFFF80
|
Δ |
| 144 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 145 | 0x0000000000000001 |
0x0000000000010003
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 146 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x0000000000000080 |
0x0000000000000001
|
Δ |
| 147 | 0x0000000000000010 |
0x0000000000010012
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 148 | 0x0000000000000040 |
0x0000000000010042
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 149 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | 0x0000666666010100 |
0x0000666666010100
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |