sub al, byte ptr [r8 + r9 * 1 + 0x0]Opcode: 432a0408
| State # | flag |
mem0_value |
r8 |
r9 |
rax |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 100 | 0x0000000000000040 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000002
|
Δ |
| 101 | 0x0000000000000080 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000002
|
Δ |
| 102 | 0x0000000000000800 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000002
|
Δ |
| 103 | 0x00000000000008D5 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000002
|
Δ |
| 104 | 0x0000000000000000 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 105 | 0x0000000000000001 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 106 | 0x0000000000000004 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 107 | 0x0000000000000010 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 108 | 0x0000000000000040 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 109 | 0x0000000000000080 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 110 | 0x0000000000000800 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 111 | 0x00000000000008D5 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000080 |
0x0000000000000081
|
Δ |
| 112 | 0x0000000000000000 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 113 | 0x0000000000000001 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 114 | 0x0000000000000004 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 115 | 0x0000000000000010 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 116 | 0x0000000000000040 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 117 | 0x0000000000000080 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 118 | 0x0000000000000800 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 119 | 0x00000000000008D5 |
0x0000000000010816
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000003
|
Δ |
| 120 | 0x0000000000000000 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 121 | 0x0000000000000001 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 122 | 0x0000000000000004 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 123 | 0x0000000000000010 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 124 | 0x0000000000000040 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 125 | 0x0000000000000080 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 126 | 0x0000000000000800 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 127 | 0x00000000000008D5 |
0x0000000000010097
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000081 |
0x0000000000000082
|
Δ |
| 128 | 0x0000000000000000 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 129 | 0x0000000000000001 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 130 | 0x0000000000000004 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 131 | 0x0000000000000010 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 132 | 0x0000000000000040 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 133 | 0x0000000000000080 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 134 | 0x0000000000000800 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 135 | 0x00000000000008D5 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000004
|
Δ |
| 136 | 0x0000000000000000 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 137 | 0x0000000000000001 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 138 | 0x0000000000000004 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 139 | 0x0000000000000010 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 140 | 0x0000000000000040 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 141 | 0x0000000000000080 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 142 | 0x0000000000000800 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 143 | 0x00000000000008D5 |
0x0000000000010093
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000082 |
0x0000000000000083
|
Δ |
| 144 | 0x0000000000000000 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x000000000000007F
|
Δ |
| 145 | 0x0000000000000001 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x000000000000007F
|
Δ |
| 146 | 0x0000000000000004 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x000000000000007F
|
Δ |
| 147 | 0x0000000000000010 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x000000000000007F
|
Δ |
| 148 | 0x0000000000000040 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x000000000000007F
|
Δ |
| 149 | 0x0000000000000080 |
0x0000000000010812
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x00000000000000FD |
0x000000000000007F
|
Δ |