SolSEE: a source-level symbolic execution engine for solidity

• DOI: 10.1145/3540250.3558923
• Publication Date: 2022-11-09T20:46:22Z
• Authors: Shang-Wei Lin; Palina Tolmach; Ye Liu; Yi Li
• Keywords: Solidity; Bytecode; Interface (matter)

Most of the existing smart contract symbolic execution tools perform analysis on bytecode, which loses high-level semantic information presented in source code. This makes interactive tasks—such as visualization and debugging—extremely challenging, significantly limits tool usability. In this paper, we present SolSEE, a source-level engine for Solidity contracts. We describe design highlight its key features, demonstrate usages through Web-based user interface. SolSEE demonstrates advantages over other advanced language features it supports flexibility. A demonstration video is available at: https://sites.google.com/view/solsee/.