| ... | @@ -142,7 +142,7 @@ cnt_prev != 0 && cnt_cur == 0 -------> PUSH的最后一个字节 |
... | @@ -142,7 +142,7 @@ cnt_prev != 0 && cnt_cur == 0 -------> PUSH的最后一个字节 |
|
|
|
|
|
|
|
cnt=0的情况有三种：Opcode(非PUSH)、PUSH指令PUSH的最后一个byte、padding的row
|
|
cnt=0的情况有三种：Opcode(非PUSH)、PUSH指令PUSH的最后一个byte、padding的row
|
|
|
|
|
|
|
|
**pc约束**
|
|
**Pc**
|
|
|
|
|
|
|
|
addr change ----> pc=0 (addr发生变化，说明是一个新的合约，pc应该从0开始)
|
|
addr change ----> pc=0 (addr发生变化，说明是一个新的合约，pc应该从0开始)
|
|
|
|
|
|
| ... | | ... | |
