It would also be helpful to have symbolic stack information. For example, consider a sequence like this:
// || 0x01,_
DUP2
// || _,0x01,_
PUSH1 0x20
// || 0x20,_,0x01,_
This could be written as follows:
// || 0x01,?X
DUP2
// || ?X,0x01,?X
PUSH1 0x20
// || 0x20,?X,0x01,?X
This helps tracking specific values through the code.
It would also be helpful to have symbolic stack information. For example, consider a sequence like this:
This could be written as follows:
This helps tracking specific values through the code.