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

摘要

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.