Re:A Survey of Symbolic Execution Techniques (2018)
by kolinko on Tuesday May 21, 2019 @11:39AM
(#19971160)
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.
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.