Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts
Gespeichert in:
| Titel: | Detection of Read-Write Issues in Hyperledger Fabric Smart Contracts |
|---|---|
| Autoren: | Luca Olivieri, Luca Negrini, Vincenzo Arceri, Pietro Ferrara, Agostino Cortesi |
| Quelle: | Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing. :329-337 |
| Verlagsinformationen: | ACM, 2025. |
| Publikationsjahr: | 2025 |
| Schlagwörter: | Smart contracts, Chaincode, Blockchain, Hyperledger Fabric, Distributed Ledger Technology, Static analysis, Abstract interpretation, Read after write, Read-write conflict, Read your write consistency |
| Beschreibung: | Hyperledger Fabric is a well-known framework for developing enterprise blockchain solutions. Developers of these blockchains must ensure the correct execution of read and write operations so that the smart contracts’ application logic is consistent with the business logic. In this paper, we present a static analysis approach based on abstract interpretation to detect read-write set issues in Hyperledger Fabric smart contracts and avoid bugs and critical errors that could compromise blockchain applications. The analysis is implemented in GoLiSA, a semantics-based static analyzer for Go applications. Our experimental results show that the proposed analysis can detect read-write set issues on a significant benchmark of existing applications. Moreover, it achieves better results in detecting read after-write issues than other well-known open-source analyzers for Hyperledger Fabric smart contracts. |
| Publikationsart: | Article Conference object |
| Dateibeschreibung: | application/pdf |
| DOI: | 10.1145/3672608.3707721 |
| Rights: | CC BY |
| Dokumentencode: | edsair.doi.dedup.....098b522e2cc4b6f202e8629579b6ca00 |
| Datenbank: | OpenAIRE |
Nájsť tento článok vo Web of Science | Abstract: | Hyperledger Fabric is a well-known framework for developing enterprise blockchain solutions. Developers of these blockchains must ensure the correct execution of read and write operations so that the smart contracts’ application logic is consistent with the business logic. In this paper, we present a static analysis approach based on abstract interpretation to detect read-write set issues in Hyperledger Fabric smart contracts and avoid bugs and critical errors that could compromise blockchain applications. The analysis is implemented in GoLiSA, a semantics-based static analyzer for Go applications. Our experimental results show that the proposed analysis can detect read-write set issues on a significant benchmark of existing applications. Moreover, it achieves better results in detecting read after-write issues than other well-known open-source analyzers for Hyperledger Fabric smart contracts. |
|---|---|
| DOI: | 10.1145/3672608.3707721 |