nevillegrech / gigahorse-toolchain

A binary lifter and analysis framework for Ethereum smart contracts
Other
290 stars 59 forks source link

address #96

Closed taka250 closed 11 months ago

taka250 commented 1 year ago
image

Observe the following two blocks, why the display jumps to oxbc, but 0xbcB0x59 is written on the next block, what is the meaning?

sifislag commented 1 year ago

You can ignore the values of targets of jump statements and only use facts on LocalBlockEdges and FallThroughEdges. We leave it like that because the Block IDs in cases of transformations (like what you observed, caused by inlining) are not hex values. By the way you can use the appropriate channel in the dedaub discord for more direct questions.