3 ms·
Oh oh, a room for a shameless plug! :) I managed to use symbolic execution to build a smart contract decompiler - Eveem.org. What you see there is essentially
by kolinko 7y ago
Oh oh, a room for a shameless plug! :)
I managed to use symbolic execution to build a smart contract decompiler - Eveem.org. What you see there is essentially a trace from a symbolic execution of an Ethereum contract, plus some postprocessing.