Reference : Visual emulation for Ethereum's virtual machine
Scientific congresses, symposiums and conference proceedings : Paper published in a journal
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/36756
Visual emulation for Ethereum's virtual machine
English
Norvill, Robert mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Fiz Pontiveros, Beltran mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
State, Radu mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Cullen, Andrea mailto []
9-Jul-2018
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
IEEE
Yes
International
2374-9709
NOMS 2018 - 2018 IEEE/IFIP Network Operations and Management Symposium
23-27 April 2018
[en] In this work we present E-EVM, a tool that emulates and visualises the execution of smart contracts on the Ethereum Virtual Machine. By working with the readily available bytecode of smart contracts we are able to display the program's control flow graph, opcodes and stack for each step of contract execution. This tool is designed to aid the user's understanding of the Etheruem Virtual Machine as well as aid the analysis of any given smart contract. As such, it functions as both an analysis and a learning tool. It allows the user to view the code in each block of a smart contract and follow possible control flow branches. It is able to detect loops and suggest optimisation candidates. It is possible to step through a contract one opcode at a time. E-EVM achieved an average of 85.6% code coverage when tested.
http://hdl.handle.net/10993/36756
10.1109/NOMS.2018.8406332

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
visual-emulation-ethereums.pdfPublisher postprint183.24 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.