xadd qword ptr [r8 + r9 * 1 + 0x0], rbxOpcode: 4b0fc11c08
| State # | flag |
mem0_value |
r8 |
r9 |
rbx |
||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 100 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7E
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF00 |
0x000000000000007E
|
Δ |
| 101 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7E
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF00 |
0x000000000000007E
|
Δ |
| 102 | 0x0000000000000800 |
0x0000000000010086
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7E
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF00 |
0x000000000000007E
|
Δ |
| 103 | 0x00000000000008D5 |
0x0000000000010086
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7E
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF00 |
0x000000000000007E
|
Δ |
| 104 | 0x0000000000000000 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 105 | 0x0000000000000001 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 106 | 0x0000000000000004 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 107 | 0x0000000000000010 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 108 | 0x0000000000000040 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 109 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 110 | 0x0000000000000800 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 111 | 0x00000000000008D5 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF7F
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF01 |
0x000000000000007E
|
Δ |
| 112 | 0x0000000000000000 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 113 | 0x0000000000000001 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 114 | 0x0000000000000004 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 115 | 0x0000000000000010 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 116 | 0x0000000000000040 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 117 | 0x0000000000000080 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 118 | 0x0000000000000800 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 119 | 0x00000000000008D5 |
0x0000000000010092
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFF80
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF02 |
0x000000000000007E
|
Δ |
| 120 | 0x0000000000000000 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 121 | 0x0000000000000001 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 122 | 0x0000000000000004 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 123 | 0x0000000000000010 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 124 | 0x0000000000000040 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 125 | 0x0000000000000080 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 126 | 0x0000000000000800 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 127 | 0x00000000000008D5 |
0x0000000000010082
|
Δ | 0x000000000000007E |
0xFFFFFFFFFFFFFFFE
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFF80 |
0x000000000000007E
|
Δ |
| 128 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 129 | 0x0000000000000001 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 130 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 131 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 132 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 133 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 134 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 135 | 0x00000000000008D5 |
0x0000000000010013
|
Δ | 0x000000000000007E |
0x000000000000007C
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ |
| 136 | 0x0000000000000000 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 137 | 0x0000000000000001 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 138 | 0x0000000000000004 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 139 | 0x0000000000000010 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 140 | 0x0000000000000040 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 141 | 0x0000000000000080 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 142 | 0x0000000000000800 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 143 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0x000000000000007E |
0x000000000000007D
|
Δ | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ |
| 144 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x00000000000000FF
|
Δ |
| 145 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x00000000000000FF
|
Δ |
| 146 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x00000000000000FF
|
Δ |
| 147 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x00000000000000FF
|
Δ |
| 148 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x00000000000000FF
|
Δ |
| 149 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | 0x00006666660100FD |
0x00006666660100FD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0x0000000000000000 |
0x00000000000000FF
|
Δ |