Blogs (1) >>
ICSE 2019
Sat 25 - Fri 31 May 2019 Montreal, QC, Canada
Fri 31 May 2019 16:20 - 16:40 at St-Paul / Ste-Catherine - Reverse Engineering Chair(s): Sandeep Kuttal

The rise of smart contracts - autonomous applications running on blockchains - has led to a growing number of threats, necessitating sophisticated analysis. However, smart contracts, which transact valuable tokens and cryptocurrencies, are compiled to very low-level bytecode. It is estimated that high-level source code is publicly available for under 1% of contracts on Ethereum (the most popular smart-contract blockchain).

In this paper, we present the Gigahorse toolchain. At its core is a reverse compiler (i.e., a decompiler). The decompiler transforms smart contracts from Ethereum bytecode into a high-level 3-address code representation, which can be analyzed further in a uniform way. Decompilation obviates the need for a contract’s source, allowing the analysis of both new and deployed contracts. Gigahorse advances the state of the art on several fronts. It gives the highest analysis precision and completeness among decompilers for Ethereum smart contracts - e.g., Gigahorse can decompile over 99.98% of deployed contracts, compared to 88% for the recently-published Vandal decompiler and under 50% for the state-of-the-practice Porosity decompiler. Importantly, Gigahorse offers a full-featured toolchain for further analyses (and a “batteries included” approach, with multiple clients already implemented), together with the highest performance and scalability. Key to these improvements is Gigahorse’s use of a declarative, logic-based specification, which allows high-level insights to inform low-level decompilation.

Fri 31 May
Times are displayed in time zone: Eastern Time (US & Canada) change

16:00 - 17:20: Reverse EngineeringPapers / Technical Track at St-Paul / Ste-Catherine
Chair(s): Sandeep KuttalThe University of Tulsa
16:00 - 16:20
Recovering Variable Names for Minified Code with Usage ContextsTechnical Track
Technical Track
Hieu TranThe University of Texas at Dallas, Ngoc Tran, Son NguyenThe University of Texas at Dallas, Hoan NguyenIowa State University, Tien N. NguyenUniversity of Texas at Dallas
16:20 - 16:40
Gigahorse: Thorough, Declarative Decompilation of Smart ContractsArtifacts AvailableArtifacts Evaluated ReusableTechnical Track
Technical Track
Neville GrechUniversity of Athens, Lexi BrentUniversity of Sydney, Bernhard ScholzUniversity of Sydney, Australia, Yannis SmaragdakisUniversity of Athens
16:40 - 17:00
Probabilistic DisassemblyArtifacts Evaluated ReusableTechnical Track
Technical Track
Kenneth MillerPurdue University, Yonghwi KwonUniversity of Virginia, Yi SunPurdue University, USA, Zhuo ZhangPurdue University, Xiangyu ZhangPurdue University, Zhiqiang LinThe Ohio State University
17:00 - 17:20
Discussion Period