adc ax, word ptr [0x666666010100]Opcode: 66130500f19aff
| State # | flag |
mem0_value |
rax |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 100 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 101 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 102 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007E
|
= |
| 103 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007E |
0x000000000000007F
|
Δ |
| 104 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x00000000000000FF
|
Δ |
| 105 | 0x0000000000000001 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x0000000000000100
|
Δ |
| 106 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x00000000000000FF
|
Δ |
| 107 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x00000000000000FF
|
Δ |
| 108 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x00000000000000FF
|
Δ |
| 109 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x00000000000000FF
|
Δ |
| 110 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x00000000000000FF
|
Δ |
| 111 | 0x00000000000008D5 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007E |
0x0000000000000100
|
Δ |
| 112 | 0x0000000000000000 |
0x0000000000010092
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF80
|
Δ |
| 113 | 0x0000000000000001 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF81
|
Δ |
| 114 | 0x0000000000000004 |
0x0000000000010092
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF80
|
Δ |
| 115 | 0x0000000000000010 |
0x0000000000010092
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF80
|
Δ |
| 116 | 0x0000000000000040 |
0x0000000000010092
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF80
|
Δ |
| 117 | 0x0000000000000080 |
0x0000000000010092
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF80
|
Δ |
| 118 | 0x0000000000000800 |
0x0000000000010092
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF80
|
Δ |
| 119 | 0x00000000000008D5 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007E |
0x000000000000FF81
|
Δ |
| 120 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 121 | 0x0000000000000001 |
0x0000000000010012
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x0000000000000080
|
Δ |
| 122 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 123 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 124 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 125 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 126 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x000000000000007F
|
= |
| 127 | 0x00000000000008D5 |
0x0000000000010012
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x000000000000007F |
0x0000000000000080
|
Δ |
| 128 | 0x0000000000000000 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000100
|
Δ |
| 129 | 0x0000000000000001 |
0x0000000000010012
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000101
|
Δ |
| 130 | 0x0000000000000004 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000100
|
Δ |
| 131 | 0x0000000000000010 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000100
|
Δ |
| 132 | 0x0000000000000040 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000100
|
Δ |
| 133 | 0x0000000000000080 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000100
|
Δ |
| 134 | 0x0000000000000800 |
0x0000000000010016
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000100
|
Δ |
| 135 | 0x00000000000008D5 |
0x0000000000010012
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0x000000000000007F |
0x0000000000000101
|
Δ |
| 136 | 0x0000000000000000 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF81
|
Δ |
| 137 | 0x0000000000000001 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF82
|
Δ |
| 138 | 0x0000000000000004 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF81
|
Δ |
| 139 | 0x0000000000000010 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF81
|
Δ |
| 140 | 0x0000000000000040 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF81
|
Δ |
| 141 | 0x0000000000000080 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF81
|
Δ |
| 142 | 0x0000000000000800 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF81
|
Δ |
| 143 | 0x00000000000008D5 |
0x0000000000010096
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0x000000000000007F |
0x000000000000FF82
|
Δ |
| 144 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 145 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 146 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 147 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 148 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |
| 149 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0x0000000000000080 |
0x0000000000000080
|
= |