adc eax, dword ptr [0x666666010100]Opcode: 130500f19aff
| State # | flag |
mem0_value |
rax |
||||||
|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 400 | 0x0000000000000000 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ |
| 401 | 0x0000000000000001 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF01
|
Δ |
| 402 | 0x0000000000000004 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ |
| 403 | 0x0000000000000010 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ |
| 404 | 0x0000000000000040 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ |
| 405 | 0x0000000000000080 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ |
| 406 | 0x0000000000000800 |
0x0000000000010097
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ |
| 407 | 0x00000000000008D5 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF01
|
Δ |
| 408 | 0x0000000000000000 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFFFF
|
Δ |
| 409 | 0x0000000000000001 |
0x0000000000010057
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ |
| 410 | 0x0000000000000004 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFFFF
|
Δ |
| 411 | 0x0000000000000010 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFFFF
|
Δ |
| 412 | 0x0000000000000040 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFFFF
|
Δ |
| 413 | 0x0000000000000080 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFFFF
|
Δ |
| 414 | 0x0000000000000800 |
0x0000000000010086
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFFFF
|
Δ |
| 415 | 0x00000000000008D5 |
0x0000000000010057
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ |
| 416 | 0x0000000000000000 |
0x0000000000010013
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000080
|
Δ |
| 417 | 0x0000000000000001 |
0x0000000000010017
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000081
|
Δ |
| 418 | 0x0000000000000004 |
0x0000000000010013
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000080
|
Δ |
| 419 | 0x0000000000000010 |
0x0000000000010013
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000080
|
Δ |
| 420 | 0x0000000000000040 |
0x0000000000010013
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000080
|
Δ |
| 421 | 0x0000000000000080 |
0x0000000000010013
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000080
|
Δ |
| 422 | 0x0000000000000800 |
0x0000000000010013
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000080
|
Δ |
| 423 | 0x00000000000008D5 |
0x0000000000010017
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000081
|
Δ |
| 424 | 0x0000000000000000 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF01
|
Δ |
| 425 | 0x0000000000000001 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF02
|
Δ |
| 426 | 0x0000000000000004 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF01
|
Δ |
| 427 | 0x0000000000000010 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF01
|
Δ |
| 428 | 0x0000000000000040 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF01
|
Δ |
| 429 | 0x0000000000000080 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF01
|
Δ |
| 430 | 0x0000000000000800 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF01
|
Δ |
| 431 | 0x00000000000008D5 |
0x0000000000010093
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF02
|
Δ |