movbe word ptr [0x666666010100], bxOpcode: 660f38f11d00f19aff
| State # | flag |
mem0_value |
rbx |
rdx |
||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | Initial | Final | Δ | |
| 100 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFE00
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 101 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFF00
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 102 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF00FF
|
Δ | 0x000000000000FF00 |
0x000000000000FF00
|
= | — |
0x0000000000000000
|
Δ |
| 103 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF01FF
|
Δ | 0x000000000000FF01 |
0x000000000000FF01
|
= | — |
0x0000000000000000
|
Δ |
| 104 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF02FF
|
Δ | 0x000000000000FF02 |
0x000000000000FF02
|
= | — |
0x0000000000000000
|
Δ |
| 105 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF80FF
|
Δ | 0x000000000000FF80 |
0x000000000000FF80
|
= | — |
0x0000000000000000
|
Δ |
| 106 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFEFF
|
Δ | 0x000000000000FFFE |
0x000000000000FFFE
|
= | — |
0x0000000000000000
|
Δ |
| 107 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFFFF
|
Δ | 0x000000000000FFFF |
0x000000000000FFFF
|
= | — |
0x0000000000000000
|
Δ |
| 108 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF00FF
|
Δ | 0x00000000FFFFFF00 |
0x00000000FFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 109 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF01FF
|
Δ | 0x00000000FFFFFF01 |
0x00000000FFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 110 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF02FF
|
Δ | 0x00000000FFFFFF02 |
0x00000000FFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 111 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF80FF
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 112 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFEFF
|
Δ | 0x00000000FFFFFFFE |
0x00000000FFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 113 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFFFF
|
Δ | 0x00000000FFFFFFFF |
0x00000000FFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 114 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF00FF
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 115 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF01FF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 116 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF02FF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 117 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFF80FF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 118 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFEFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 119 | — |
0x0000000000010002
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 120 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF0000
|
Δ | 0x0000000000000000 |
0x0000000000000000
|
= | — |
0x0000000000000000
|
Δ |
| 121 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF0100
|
Δ | 0x0000000000000001 |
0x0000000000000001
|
= | — |
0x0000000000000000
|
Δ |
| 122 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF0200
|
Δ | 0x0000000000000002 |
0x0000000000000002
|
= | — |
0x0000000000000000
|
Δ |
| 123 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF0300
|
Δ | 0x0000000000000003 |
0x0000000000000003
|
= | — |
0x0000000000000000
|
Δ |
| 124 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF7E00
|
Δ | 0x000000000000007E |
0x000000000000007E
|
= | — |
0x0000000000000000
|
Δ |
| 125 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF7F00
|
Δ | 0x000000000000007F |
0x000000000000007F
|
= | — |
0x0000000000000000
|
Δ |
| 126 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF8000
|
Δ | 0x0000000000000080 |
0x0000000000000080
|
= | — |
0x0000000000000000
|
Δ |
| 127 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF8100
|
Δ | 0x0000000000000081 |
0x0000000000000081
|
= | — |
0x0000000000000000
|
Δ |
| 128 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF8200
|
Δ | 0x0000000000000082 |
0x0000000000000082
|
= | — |
0x0000000000000000
|
Δ |
| 129 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFD00
|
Δ | 0x00000000000000FD |
0x00000000000000FD
|
= | — |
0x0000000000000000
|
Δ |
| 130 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFE00
|
Δ | 0x00000000000000FE |
0x00000000000000FE
|
= | — |
0x0000000000000000
|
Δ |
| 131 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFF00
|
Δ | 0x00000000000000FF |
0x00000000000000FF
|
= | — |
0x0000000000000000
|
Δ |
| 132 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FF
|
Δ | 0x000000000000FF00 |
0x000000000000FF00
|
= | — |
0x0000000000000000
|
Δ |
| 133 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF01FF
|
Δ | 0x000000000000FF01 |
0x000000000000FF01
|
= | — |
0x0000000000000000
|
Δ |
| 134 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF02FF
|
Δ | 0x000000000000FF02 |
0x000000000000FF02
|
= | — |
0x0000000000000000
|
Δ |
| 135 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF80FF
|
Δ | 0x000000000000FF80 |
0x000000000000FF80
|
= | — |
0x0000000000000000
|
Δ |
| 136 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFF
|
Δ | 0x000000000000FFFE |
0x000000000000FFFE
|
= | — |
0x0000000000000000
|
Δ |
| 137 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0x000000000000FFFF |
0x000000000000FFFF
|
= | — |
0x0000000000000000
|
Δ |
| 138 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FF
|
Δ | 0x00000000FFFFFF00 |
0x00000000FFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 139 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF01FF
|
Δ | 0x00000000FFFFFF01 |
0x00000000FFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 140 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF02FF
|
Δ | 0x00000000FFFFFF02 |
0x00000000FFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 141 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF80FF
|
Δ | 0x00000000FFFFFF80 |
0x00000000FFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 142 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFF
|
Δ | 0x00000000FFFFFFFE |
0x00000000FFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 143 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0x00000000FFFFFFFF |
0x00000000FFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |
| 144 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF00FF
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFF00
|
= | — |
0x0000000000000000
|
Δ |
| 145 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF01FF
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFF01
|
= | — |
0x0000000000000000
|
Δ |
| 146 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF02FF
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFF02
|
= | — |
0x0000000000000000
|
Δ |
| 147 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFF80FF
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFF80
|
= | — |
0x0000000000000000
|
Δ |
| 148 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFF
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFE
|
= | — |
0x0000000000000000
|
Δ |
| 149 | — |
0x0000000000010002
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFFFF
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFFFF
|
= | — |
0x0000000000000000
|
Δ |