Proceedings of the International Symposium on Auto
Proceedings of the International Symposium on Automated Technology for Verification and Analysis Year 2018 Peer-reviewed
BibTeX PDF
Blockchain Security · DeFi

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

Elvira Albert Pablo Gordillo Benjamin Livshits Albert Rubio Ilya Sergey
2018
Publication year
ISSTA
Venue
Peer-reviewed
Type
§ Abstract

Summary

Analyzing Ethereum bytecode, rather than the source code from which it was generated, is a necessity when: (1) the source code is not available (e.g., the blockchain only stores the bytecode, (2) the information to be gathered in the analysis is only visible at the level of bytecode (e.g., gas consumption is specified at the level of EVM in- structions), (3) the analysis results may be affected by optimizations performed by the compiler (thus the analysis should be done ideally af- ter compilation). This paper presents EthIR, a framework for analyzing Ethereum bytecode, which relies on (an extension of) Oyente, a tool that generates CFGs; EthIR produces from the CFGs, a rule-based rep- resentation (RBR) of the bytecode. Our RBR enables the application of (existing) high-level analyses to infer properties of EVM code.

Cite this paper — BibTeX 
@InProceedings{atva-2018,
  author = "Elvira Albert and Pablo Gordillo and Benjamin Livshits and Albert Rubio and Ilya Sergey",
  title = "EthIR: A Framework for High-Level Analysis of Ethereum Bytecode",
  booktitle = "Proceedings of the International Symposium on Automated Technology for Verification and Analysis",
  year = "2018",
}
Copied