一句话：提出动态不变式检测工具 InvCon，用于以太坊智能合约，支持规约逆向工程与标准合规检查。
智能合约部署在区块链上以在无需中心化权威的情况下实现可信价值交换，但普遍缺乏文档和规约，使得程序理解、维护、验证与确认等常规任务十分困难。本文提出动态不变式检测工具 InvCon，面向以太坊智能合约自动检测不变式，以缓解上述问题。检测到的不变式不仅可用于逆向工程合约规约，还可用于检查合约实现是否符合相关标准。InvCon 提供基于 Web 的界面，并附有演示视频。摘要重点在于工具功能与用途展示，未报告量化的实验评估结果。
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.
DOI 原文 ·
@inproceedings{paperbot7329,
title = {InvCon: A Dynamic Invariant Detector for Ethereum Smart Contracts},
author = {Ye Liu and Yi Li},
booktitle = {ASE},
year = {2022},
doi = {10.1145/3551349.3559539}
}