sbb byte ptr [0x666666010100], blOpcode: 181d00f19aff
| State # | flag |
mem0_value |
rbx |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 400 | 0x0000000000000000 |
0x0000000000010046
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 401 | 0x0000000000000001 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 402 | 0x0000000000000004 |
0x0000000000010046
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 403 | 0x0000000000000010 |
0x0000000000010046
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 404 | 0x0000000000000040 |
0x0000000000010046
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 405 | 0x0000000000000080 |
0x0000000000010046
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 406 | 0x0000000000000800 |
0x0000000000010046
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF00
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 407 | 0x00000000000008D5 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 408 | 0x0000000000000000 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF82
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 409 | 0x0000000000000001 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 410 | 0x0000000000000004 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF82
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 411 | 0x0000000000000010 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF82
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 412 | 0x0000000000000040 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF82
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 413 | 0x0000000000000080 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF82
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 414 | 0x0000000000000800 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF82
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 415 | 0x00000000000008D5 |
0x0000000000010887
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF81
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 416 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF04
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 417 | 0x0000000000000001 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 418 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF04
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 419 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF04
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 420 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF04
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 421 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF04
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 422 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF04
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 423 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 424 | 0x0000000000000000 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 425 | 0x0000000000000001 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 426 | 0x0000000000000004 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 427 | 0x0000000000000010 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 428 | 0x0000000000000040 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 429 | 0x0000000000000080 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 430 | 0x0000000000000800 |
0x0000000000010017
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF03
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 431 | 0x00000000000008D5 |
0x0000000000010013
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |