Analyzing Smart Contracts: From EVM to a sound Control-Flow Graph.

Elvira Albert Jesús Correas Pablo Gordillo Guillermo Román-Díez Albert Rubio

Published in: CoRR (2020)

Keyphrases

flow graph
flow graphs
shortest path
random walk
control strategy
databases
information flow
learning algorithm
reinforcement learning
rough sets