Blockchain technology has enabled the development of decentralised applications, which rely on smart contracts to implement their core logic. A critical phase in the development of such applications is the verification and analysis of the underlying smart contracts. The execution of these contracts can lead to unexpected behaviours caused by vulnerabilities or logical flaws. While various techniques have been established to analyse security aspects and prevent such issues, less attention has been given to execution data. This data is produced during the actual execution of smart contracts and exposes how these applications behave in practice. By analysing this data, domain experts can access novel perspectives of the application and uncover meaningful insights or patterns. In this work, we present a framework designed to support the analysis of decentralised applications. It provides functionalities to analyse and visualise execution data of smart contracts. The framework was implemented as a web-based application and evaluated by analysing its performance over synthetic logs.

A Framework for Supporting Decentralised Applications Analysis

Flavio Corradini;Lorenzo Luzi;Fausto Marcantoni;Alessandro Marcelletti
;
Andrea Morichetta;Barbara Re
2025-01-01

Abstract

Blockchain technology has enabled the development of decentralised applications, which rely on smart contracts to implement their core logic. A critical phase in the development of such applications is the verification and analysis of the underlying smart contracts. The execution of these contracts can lead to unexpected behaviours caused by vulnerabilities or logical flaws. While various techniques have been established to analyse security aspects and prevent such issues, less attention has been given to execution data. This data is produced during the actual execution of smart contracts and exposes how these applications behave in practice. By analysing this data, domain experts can access novel perspectives of the application and uncover meaningful insights or patterns. In this work, we present a framework designed to support the analysis of decentralised applications. It provides functionalities to analyse and visualise execution data of smart contracts. The framework was implemented as a web-based application and evaluated by analysing its performance over synthetic logs.
2025
273
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11581/496144
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact