usyd-blockchain / vandal

Static program analysis framework for Ethereum smart contract bytecode.
BSD 3-Clause "New" or "Revised" License
161 stars 39 forks source link

[IL] Make variable-constant substitutions toggleable via config file / command line flag #37

Open 0xl3x1 opened 6 years ago

0xl3x1 commented 6 years ago

Currently the IL output does the following:

0x57: V23 = 0x20
0x59: V24 = ADD 0x20 V22

corresponding to:

0x57 PUSH1 0x20
0x59 ADD

In this case, the 0x20 in the IL language is actually an instance of V23, but its value is shown instead in the output, which is confusing. We should perhaps disable this by default and add a config option or command-line argument to re-enable it.