Edinburgh Research Explorer

SIF: A Framework for Solidity Contract Instrumentation and Analysis

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions

Open

Documents

https://ieeexplore.ieee.org/document/8945726
Original languageEnglish
Title of host publication2019 26th Asia-Pacific Software Engineering Conference (APSEC)
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
Pages466-473
Number of pages8
ISBN (Electronic)978-1-7281-4648-5
ISBN (Print)978-1-7281-4649-2
DOIs
Publication statusPublished - 2 Jan 2020
EventThe 26th Asia-Pacific Software Engineering Conference - Putrajaya, Malaysia
Duration: 2 Dec 20195 Dec 2019
https://seminar.utmspace.edu.my/apsec2019/

Publication series

Name
PublisherInstitute of Electrical and Electronics Engineers (IEEE)
ISSN (Print)1530-1362
ISSN (Electronic)2640-0715

Conference

ConferenceThe 26th Asia-Pacific Software Engineering Conference
Abbreviated titleAPSEC 2019
CountryMalaysia
CityPutrajaya
Period2/12/195/12/19
Internet address

Abstract

Solidity is an object-oriented and high-level language for writing smart contracts that are used to execute, verify and enforce credible transactions on permissionless blockchains. In the last few years, analysis of smart contracts has raised considerable interest and numerous techniques have been proposed to check the presence of vulnerabilities in them. Current techniques lack traceability in source code and have widely differing work flows. There is no single unifying framework for analysis, instrumentation, optimisation and code generation of Solidity contracts. In this paper, we present SIF, a comprehensive framework for Solidity contract analysis, query, instrumentation, and code generation. SIF provides support for Solidity contract developers and testers to build source level techniques for analysis, understanding, diagnostics, optimisations and code generation. We show feasibility and applicability of the framework by building practical tools on top of it and running them on 1838 real smart contracts deployed on the Ethereum network.

    Research areas

  • high level languages, software testing, code instrumentation, program analysis

Event

The 26th Asia-Pacific Software Engineering Conference

2/12/195/12/19

Putrajaya, Malaysia

Event: Conference

Download statistics

No data available

ID: 118990180