add rax, -0x100Opcode: 480500ffffff
| State # | flag |
rax |
||||
|---|---|---|---|---|---|---|
| Initial | Final | Δ | Initial | Final | Δ | |
| 100 | 0x0000000000000040 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ |
| 101 | 0x0000000000000080 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ |
| 102 | 0x0000000000000800 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ |
| 103 | 0x00000000000008D5 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFF00 |
0xFFFFFFFFFFFFFE00
|
Δ |
| 104 | 0x0000000000000000 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 105 | 0x0000000000000001 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 106 | 0x0000000000000004 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 107 | 0x0000000000000010 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 108 | 0x0000000000000040 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 109 | 0x0000000000000080 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 110 | 0x0000000000000800 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 111 | 0x00000000000008D5 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF01 |
0xFFFFFFFFFFFFFE01
|
Δ |
| 112 | 0x0000000000000000 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 113 | 0x0000000000000001 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 114 | 0x0000000000000004 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 115 | 0x0000000000000010 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 116 | 0x0000000000000040 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 117 | 0x0000000000000080 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 118 | 0x0000000000000800 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 119 | 0x00000000000008D5 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF02 |
0xFFFFFFFFFFFFFE02
|
Δ |
| 120 | 0x0000000000000000 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 121 | 0x0000000000000001 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 122 | 0x0000000000000004 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 123 | 0x0000000000000010 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 124 | 0x0000000000000040 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 125 | 0x0000000000000080 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 126 | 0x0000000000000800 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 127 | 0x00000000000008D5 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFF80 |
0xFFFFFFFFFFFFFE80
|
Δ |
| 128 | 0x0000000000000000 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 129 | 0x0000000000000001 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 130 | 0x0000000000000004 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 131 | 0x0000000000000010 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 132 | 0x0000000000000040 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 133 | 0x0000000000000080 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 134 | 0x0000000000000800 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 135 | 0x00000000000008D5 |
0x0000000000010083
|
Δ | 0xFFFFFFFFFFFFFFFE |
0xFFFFFFFFFFFFFEFE
|
Δ |
| 136 | 0x0000000000000000 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 137 | 0x0000000000000001 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 138 | 0x0000000000000004 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 139 | 0x0000000000000010 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 140 | 0x0000000000000040 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 141 | 0x0000000000000080 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 142 | 0x0000000000000800 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |
| 143 | 0x00000000000008D5 |
0x0000000000010087
|
Δ | 0xFFFFFFFFFFFFFFFF |
0xFFFFFFFFFFFFFEFF
|
Δ |