SolSEE: A Source-Level Symbolic Execution Engine for Solidity

被引：3
|
作者：
Lin, Shang-Wei [1 ]
Tolmach, Palina [2 ]
Liu, Ye [1 ]
Li, Yi [1 ]
机构：
[1] Nanyang Technol Univ, Singapore, Singapore
[2] Nanyang Technol Univ, A STAR, Inst High Performance Comp, Singapore, Singapore
来源：
PROCEEDINGS OF THE 30TH ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2022 | 2022年
关键词：
Smart contract; symbolic execution;
D O I：
10.1145/3540250.3558923
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
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 analysis tasks-such as visualization and debugging-extremely challenging, and significantly limits the tool usability. In this paper, we present SolSEE, a source-level symbolic execution engine for Solidity smart contracts. We describe the design of SolSEE, highlight its key features, and demonstrate its usages through a Web-based user interface. SolSEE demonstrates advantages over other existing source-level analysis tools in the advanced Solidity language features it supports and analysis flexibility. A demonstration video is available at: https://sites.google.com/view/solsee/.
引用
收藏
页码：1687 / 1691
页数：5
相关论文
共 50 条
  • [31] Designing a source-level debugger for cognitive agent programs
    Koeman, Vincent J.
    Hindriks, Koen V.
    Jonker, Catholijn M.
    AUTONOMOUS AGENTS AND MULTI-AGENT SYSTEMS, 2017, 31 (05) : 941 - 970
  • [32] Lightweight and generative components I: Source-level components
    Kamin, S
    Callahan, M
    Clausen, L
    GENERATIVE AND COMPONENT-BASED SOFTWARE ENGINEERING, PROCEEDINGS, 2000, 1799 : 49 - 64
  • [33] Source-level proof reconstruction for interactive theorem proving
    Paulson, Lawrence C.
    Susanto, Kong Woei
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2007, 4732 : 232 - +
  • [34] RAPID DEVELOPMENT OF A SOURCE-LEVEL DEBUGGER FOR POWERPC MICROPROCESSORS
    BUTT, F
    SIGPLAN NOTICES, 1994, 29 (12): : 73 - 77
  • [35] Detecting Memory Errors at Runtime with Source-Level Instrumentation
    Chen, Zhe
    Yan, Junqi
    Kan, Shuanglong
    Qian, Ju
    Xue, Jingling
    PROCEEDINGS OF THE 28TH ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON SOFTWARE TESTING AND ANALYSIS (ISSTA '19), 2019, : 341 - 351
  • [36] Effective Source-Level Debugging of Wireless Sensor Networks
    Yang, Jing
    Soffa, Mary Lou
    Whitehouse, Kamin
    SENSYS'07: PROCEEDINGS OF THE 5TH ACM CONFERENCE ON EMBEDDED NETWORKED SENSOR SYSTEMS, 2007, : 405 - 406
  • [37] Automated source-level error localization in hardware designs
    Peischl, B
    Wotawa, F
    IEEE DESIGN & TEST OF COMPUTERS, 2006, 23 (01): : 8 - 19
  • [38] Bringing Source-Level Debugging Frameworks to Hardware Generators
    Zhang, Keyi
    Asgar, Zain
    Horowitz, Mark
    PROCEEDINGS OF THE 59TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, DAC 2022, 2022, : 1171 - 1176
  • [39] A Source-level Energy Optimization Framework for Mobile Applications
    Li, Xueliang
    Gallagher, John P.
    2016 IEEE 16TH INTERNATIONAL WORKING CONFERENCE ON SOURCE CODE ANALYSIS AND MANIPULATION (SCAM), 2016, : 31 - 40
  • [40] OPTIMIZING C-COMPILER AND SOURCE-LEVEL DEBUGGER
    SCHLITT, S
    EDN, 1990, 35 (12) : 32 - 32
12345