Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report
Wed 15 Jun 2022 02:30 - 02:55 at Boardroom - Keynote 2 + Papers Chair(s): Laure Gonnord, Laura Titolo
Ensuring determinism is mandatory when writing blockchain software. When determinism is not met it can lead to serious implications in the blockchain network while compromising the software development, release, and patching processes. In the industrial context, it is widespread to adopt general-purpose languages, such as Go, for developing blockchain solutions. However, it is not surprising that non-deterministic behaviors may arise, being these programming languages not originally designed for blockchain purposes. In this paper, we present an experience report on ensuring determinism in blockchain software with GoLiSA, a static analyzer based on abstract interpretation for Go applications, in an industrial context. In particular, we ran GoLiSA on Commercio.network, a blockchain-based solution for exchanging electronic documents in a legally binding way. Thanks to GoLiSA, non-trivial bugs got detected and the analysis performed made it possible to identify the critical points where to apply the fixes.
Tue 14 JunDisplayed time zone: Pacific Time (US & Canada) change
13:30 - 15:00 | Keynote 2 + PapersSOAP at Boardroom +12h Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC | ||
13:30 60mKeynote | Static Analysis for Data Scientists SOAP | ||
14:30 25mTalk | Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report SOAP P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A. |
Wed 15 JunDisplayed time zone: Pacific Time (US & Canada) change
01:30 - 03:00 | Keynote 2 + PapersSOAP at Boardroom Chair(s): Laure Gonnord Univ. Grenoble Alpes, Grenoble INP, LCIS, Valence, France, Laura Titolo NIA/NASA LaRC | ||
01:30 60mKeynote | Static Analysis for Data Scientists SOAP | ||
02:30 25mTalk | Ensuring Determinism in Blockchain Software with GoLiSA: An Industrial Experience Report SOAP P: Luca Olivieri University of Verona, Corvallis S.r.l., Fabio Tagliaferro University of Verona, Commercio.network S.p.A., Vincenzo Arceri University of Parma, Italy, Marco Ruaro Commercio.network S.p.A., Luca Negrini Ca’ Foscari University of Venice, Corvallis S.r.l., Agostino Cortesi Università Ca' Foscari Venezia, Pietro Ferrara Università Ca' Foscari, Venezia, Italy, Fausto Spoto U. Verona, Enrico Talin Commercio.network S.p.A. |