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

Filippo Contro Marco Crosara Mariano Ceccato Mila Dalla Preda

Published in: CoRR (2021)

Keyphrases

flow graph
flow graphs
random walk
control system
high accuracy
source code
highly accurate
information flow
database systems
dynamic programming
supply chain
smart card
robotic systems
control method