InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts

• DOI: 10.1145/3551349.3559539
• Publication Date: 2023-01-06T01:43:54Z
• Authors: Ye Liu; Yi Li
• Keywords: Smart contract; Implementation; Trustworthiness

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