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...

Full description

Bibliographic Details

Published in:	2020 35th IEEE/ACM International Conference on Automated Software Engineering (ASE) pp. 262 - 274
Main Authors:	Mariano, Benjamin, Chen, Yanju, Feng, Yu, Lahiri, Shuvendu K., Dillig, Isil
Format:	Conference Proceeding
Language:	English
Published:	ACM 01.09.2020
Subjects:	Blockchain Domain specific languages DSL loop summarization program synthesis Semantics Smart contracts Software engineering Syntactics
ISSN:	2643-1572
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!