EthIR: A Framework for High-Level Analysis of Ethereum Bytecode.

Elvira Albert Pablo Gordillo Benjamin Livshits Albert Rubio Ilya Sergey

Published in: CoRR (2018)

Keyphrases

high level
analysis tool
theoretical framework
statistical analysis
programming language
low level
probabilistic model
higher level
source code
data warehouse
static analysis
conceptual framework
real time
image analysis
data analysis
multi agent
web services
knowledge base