xadd word ptr [r8 - 0x20], bxOpcode: 66410fc158e0
| State # | flag |
mem0_value |
r8 |
rbx |
||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 250 | 0x0000000000000004 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0x000000000000FFFF
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 251 | 0x0000000000000010 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0x000000000000FFFF
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 252 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0x000000000000FFFF
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 253 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0x000000000000FFFF
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 254 | 0x0000000000000800 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0x000000000000FFFF
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 255 | 0x00000000000008D5 |
0x0000000000010086
|
Δ | 0x00000000000000FE |
0x000000000000FFFF
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 256 | 0x0000000000000000 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 257 | 0x0000000000000001 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 258 | 0x0000000000000004 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 259 | 0x0000000000000010 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 260 | 0x0000000000000040 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 261 | 0x0000000000000080 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 262 | 0x0000000000000800 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 263 | 0x00000000000008D5 |
0x0000000000010057
|
Δ | 0x00000000000000FE |
0x0000000000000000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 264 | 0x0000000000000000 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 265 | 0x0000000000000001 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 266 | 0x0000000000000004 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 267 | 0x0000000000000010 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 268 | 0x0000000000000040 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 269 | 0x0000000000000080 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 270 | 0x0000000000000800 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 271 | 0x00000000000008D5 |
0x0000000000010007
|
Δ | 0x00000000000000FE |
0x000000000000007E
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFF00FE
|
Δ |
| 272 | 0x0000000000000000 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 273 | 0x0000000000000001 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 274 | 0x0000000000000004 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 275 | 0x0000000000000010 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 276 | 0x0000000000000040 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 277 | 0x0000000000000080 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 278 | 0x0000000000000800 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 279 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0x00000000000000FE |
0x00000000000000FC
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FE
|
Δ |
| 280 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 281 | 0x0000000000000001 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 282 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 283 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 284 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 285 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 286 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 287 | 0x00000000000008D5 |
0x0000000000010013
|
Δ | 0x00000000000000FE |
0x00000000000000FD
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF00FE
|
Δ |
| 288 | 0x0000000000000000 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 289 | 0x0000000000000001 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 290 | 0x0000000000000004 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 291 | 0x0000000000000010 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 292 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 293 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 294 | 0x0000000000000800 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 295 | 0x00000000000008D5 |
0x0000000000010086
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000000 |
0x000000000000FFFF
|
Δ |
| 296 | 0x0000000000000000 |
0x0000000000010057
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF0000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000001 |
0x000000000000FFFF
|
Δ |
| 297 | 0x0000000000000001 |
0x0000000000010057
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF0000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000001 |
0x000000000000FFFF
|
Δ |
| 298 | 0x0000000000000004 |
0x0000000000010057
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF0000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000001 |
0x000000000000FFFF
|
Δ |
| 299 | 0x0000000000000010 |
0x0000000000010057
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFF0000
|
Δ | 0x0000666666010120 |
0x0000666666010120
|
= | 0x0000000000000001 |
0x000000000000FFFF
|
Δ |