GASOL: Gas Analysis and Optimization for Ethereum Smart Contracts

12/26/2019
by   Elvira Albert, et al.
0

We present the main concepts, components, and usage of GASOL, a Gas AnalysiS and Optimization tooL for Ethereum smart contracts. GASOL offers a wide variety of cost models that allow inferring the gas consumption associated to selected types of EVM instructions and/or inferring the number of times that such types of bytecode instructions are executed. Among others, we have cost models to measure only storage opcodes, to measure a selected family of gas-consumption opcodes following the Ethereum's classification, to estimate the cost of a selected program line, etc. After choosing the desired cost model and the function of interest, GASOL returns to the user an upper bound of the cost for this function. As the gas consumption is often dominated by the instructions that access the storage, GASOL uses the gas analysis to detect under-optimized storage patterns, and includes an (optional) automatic optimization of the selected function. Our tool can be used within an Eclipse plugin for Solidity which displays the gas and instructions bounds and, when applicable, the gas-optimized Solidity function.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/22/2018

GASTAP: A Gas Analyzer for Smart Contracts

Gas is a measurement unit of the computational effort that it will take ...
research
09/16/2019

Broken Metre: Attacking Resource Metering in EVM

Metering is an approach developed to assign cost to smart contract execu...
research
12/29/2021

Gas Gauge: A Security Analysis Tool for Smart Contract Out-of-Gas Vulnerabilities

In recent years we have witnessed a dramatic increase in the adoption an...
research
05/10/2018

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

Analyzing Ethereum bytecode, rather than the source code from which it w...
research
08/07/2022

Design and Analysis of Cold Gas Thruster to De-Orbit the PSLV Debris

Todayś world of spaceś primary concern is the uncontrolled growth of spa...
research
12/18/2017

An Adaptive Gas Cost Mechanism for Ethereum to Defend Against Under-Priced DoS Attacks

The gas mechanism in Ethereum charges the execution of every operation t...
research
10/06/2019

GasFuzz: Generating High Gas Consumption Inputs to Avoid Out-of-Gas Vulnerability

The out-of-gas error occurs when smart contract programs are provided wi...

Please sign up or login with your details

Forgot password? Click here to reset