RT Conference Proceedings
T1 ETHIR: A Framework for High-Level Analysis of Ethereum Bytecode
A1 Rubio, Albert
A1 Gordillo Alguacil, Pablo
A1 Livshits, Benjamin
A1 Sergey, Ilya
AB 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.
SN 978-3-030-01089-8
SN 1611-3349
YR 2018
FD 2018
LK https://hdl.handle.net/20.500.14352/96449
UL https://hdl.handle.net/20.500.14352/96449
LA eng
NO Albert, E., Gordillo, P., Livshits, B., Rubio, A., Sergey, I. (2018). EthIR: A Framework for High-Level Analysis of Ethereum Bytecode. In: Lahiri, S., Wang, C. (eds) Automated Technology for Verification and Analysis. ATVA 2018. Lecture Notes in Computer Science(), vol 11138. Springer, Cham. https://doi.org/10.1007/978-3-030-01090-4_30
DS Docta Complutense
RD 25 dic 2025