EtherSolve: Computing an Accurate Control-Flow Graph from Ethereum Bytecode

Filippo Contro, Marco Crosara, Mariano Ceccato +1

Motivated by the immutable nature of Ethereum smart contracts and of their transactions, quite many approaches have been proposed to detect defects and security problems before sma…