EVMInspector:an interactive debugger for smart contracts

This document presents the tool EVMInspector, created for the partial execution of EVM bytecode programs (debugger) based on concolic execution. The tool aims to help in the inspection of programs in terms of gas cost, data structure usage, execution times or general optimization of implemented algorithms. This tool has a graphical user interface that allows the user to upload a Solidity code file that will be analyzed by EthIR, a research tool developed by the COSTA group, whose main goal is to create a framework for the application of different static analyses over EVM programs. these static analyses provide the tool EVMInspector with additional information for code debugging. EVMInspector shows the user the provided Solidity code, its corresponding EVM bytecode and the stack, storage and memory structures allowing the user to define an initial execution environment and move back and forward in the code seeing how EVM operations affect these memory structures