Demystifying Loops in Smart Contracts

This paper aims to shed light on how loops are used in smart contracts. Towards this goal, we study various syntactic and semantic characteristics of loops used in over 20,000 Solidity contracts deployed on the Ethereum blockchain, with the goal of informing future research on program analysis for s...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) S. 262 - 274
Hauptverfasser:	Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	ACM 01.09.2020
Schlagworte:	Blockchain Domain specific languages DSL loop summarization program synthesis Semantics Smart contracts Software engineering Syntactics
ISSN:	2643-1572
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!