DeepAI AI Chat
Log In Sign Up

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

by   Elvira Albert, et al.

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 instructions), (3) the analysis results may be affected by optimizations performed by the compiler (thus the analysis should be done ideally after 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 representation (RBR) of the bytecode that enables the application of (existing) high-level analyses to infer properties of EVM code.


page 1

page 2

page 3

page 4


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

Motivated by the immutable nature of Ethereum smart contracts and of the...

Ethna: Analyzing the Underlying Peer-to-Peer Network of the Ethereum Blockchain

As the communication infrastructure of the blockchain system, the underl...

GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

We present the main concepts, components, and usage of GASOL, a Gas Anal...

Code Similarity on High Level Programs

This paper presents a new approach for code similarity on High Level pro...

A survey of data transfer and storage techniques in prevalent cryptocurrencies and suggested improvements

This thesis focuses on aspects related to the functioning of the gossip ...

Pattern matching algorithms in Blockchain for network fees reduction

Blockchain received a vast amount of attention in recent years and is st...

Message Flow Analysis with Complex Causal Links for Distributed ROS 2 Systems

Distributed robotic systems rely heavily on publish-subscribe frameworks...