pdep eax, ebx, dword ptr [r8 + r9 * 1 + 0x20]Opcode: c48263f5440820
| State # | flag |
mem0_value |
r8 |
r9 |
rax |
rbx |
||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 600 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 601 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFF0000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 602 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 603 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFF0100
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 604 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x0000000000000002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 605 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFF0200
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 606 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 607 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFF8000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 608 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007E
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 609 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 610 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x000000000000007F
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 611 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFE |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 612 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 613 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= |
| 614 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000001
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 615 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000100
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= |
| 616 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000002
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 617 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000200
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= |
| 618 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000003
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 619 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000300
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= |
| 620 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 621 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000007E00
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= |
| 622 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007F
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 623 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000007F00
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= |
| 624 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 625 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000008000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= |
| 626 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000001
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 627 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000008100
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= |
| 628 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000002
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 629 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000008200
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= |
| 630 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007D
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 631 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000FD00
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= |
| 632 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 633 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000FE00
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= |
| 634 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007F
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 635 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000FF00
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= |
| 636 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 637 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFF0000
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= |
| 638 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000001
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 639 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFF0100
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= |
| 640 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000002
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 641 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFF0200
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= |
| 642 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x0000000000000000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 643 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFF8000
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= |
| 644 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007E
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 645 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFE00
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= |
| 646 | — |
0x0000000000010002
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x000000000000007F
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |
| 647 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | 0x00006666660100DD |
0x00006666660100DD
|
= | 0x0000000000000003 |
0x0000000000000003
|
= | 0xFFFFFFFFFFFFFFFF |
0x00000000FFFFFF00
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= |