search

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

Better intermediate language #29

Open zyzek opened 6 years ago

zyzek commented 6 years ago

We might consider targeting Julia or solidity-assembly.

In this fashion we might be able to emit compilable decompiled code.