InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts

【Author】 Liu, Ye; Li, Yi

【Source】PROCEEDINGS OF THE 37TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING, ASE 2022

【影响因子】

【Abstract】Smart contracts are self-executing computer programs deployed on blockchain to enable trustworthy exchange of value without the need of a central authority. With the absence of documentation and specifications, routine tasks such as program understanding, maintenance, verification, and validation, remain challenging for smart contracts. In this paper, we propose a dynamic invariant detection tool, InvCon, for Ethereum smart contracts to mitigate this issue. The detected invariants can be used to not only support the reverse engineering of contract specifications, but also enable standard-compliance checking for contract implementations. InvCon provides a Web-based interface and a demonstration video of it is available at: https://youtu.be/Y1QBHjDSMYk.

【Keywords】Smart contract; invariant detection

【发表时间】2022

【收录时间】2023-10-13

【文献类型】实验仿真

【主题类别】

区块链技术-核心技术-智能合约