sub rax, qword ptr [0x666666010100]Opcode: 482b0500f19aff
| State # | flag |
mem0_value |
rax |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 400 | 0x0000000000000000 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 401 | 0x0000000000000001 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 402 | 0x0000000000000004 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 403 | 0x0000000000000010 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 404 | 0x0000000000000040 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 405 | 0x0000000000000080 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 406 | 0x0000000000000800 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 407 | 0x00000000000008D5 |
0x0000000000010006
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000000000FC
|
Δ |
| 408 | 0x0000000000000000 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 409 | 0x0000000000000001 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 410 | 0x0000000000000004 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 411 | 0x0000000000000010 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 412 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 413 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 414 | 0x0000000000000800 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 415 | 0x00000000000008D5 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 416 | 0x0000000000000000 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 417 | 0x0000000000000001 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 418 | 0x0000000000000004 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 419 | 0x0000000000000010 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 420 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 421 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 422 | 0x0000000000000800 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 423 | 0x00000000000008D5 |
0x0000000000010086
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFF7E
|
Δ |
| 424 | 0x0000000000000000 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 425 | 0x0000000000000001 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 426 | 0x0000000000000004 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 427 | 0x0000000000000010 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 428 | 0x0000000000000040 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 429 | 0x0000000000000080 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 430 | 0x0000000000000800 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |
| 431 | 0x00000000000008D5 |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000000000FD
|
Δ |