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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.


