RT Conference Proceedings
T1 Running on Fumes: Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts Using Static Resource Analysis
A1 Albert Albiol, Elvira María
A1 Gordillo Alguacil, Pablo
A1 Rubio, Albert
A1 Sergey, Ilya
AB Gas is a measurement unit of the computational effort that it will take to execute every single operation that takes part in the Ethereum blockchain platform. Each instruction executed by the Ethereum Virtual Machine (EVM) has an associated gas consumption specified by Ethereum. If a transaction exceeds the amount of gas allotted by the user (known as gas limit), an out-of-gas exception is raised. There is a wide family of contract vulnerabilities due to out-of-gas behaviors. We report on the design and implementation of Gastap, a Gas-Aware Smart contracT Analysis Platform, which takes as input a smart contract (either in EVM, disassembled EVM, or in Solidity source code) and automatically infers gas upper bounds for all its public functions. Our bounds ensure that if the gas limit paid by the user is higher than our inferred gas bounds, the contract is free of out-of-gas vulnerabilities.
SN 978-3-030-35091-8
SN 978-3-030-35092-5
SN 0302-9743
YR 2019
FD 2019
LK https://hdl.handle.net/20.500.14352/96507
UL https://hdl.handle.net/20.500.14352/96507
LA eng
NO Albert, E., Gordillo, P., Rubio, A., Sergey, I. (2019). Running on Fumes. In: Ganty, P., Kaâniche, M. (eds) Verification and Evaluation of Computer and Communication Systems. VECoS 2019. Lecture Notes in Computer Science(), vol 11847. Springer, Cham. https://doi.org/10.1007/978-3-030-35092-5_5
NO Ministerio de Economía y Competitividad (España)
DS Docta Complutense
RD 6 abr 2025