OpenTracer：一种用于智能合约不变量生成的动态事务跟踪分析器
软件工程
2024-07-16 v1 密码学与安全
编程语言
摘要
智能合约是区块链上的自执行程序，促进了无需中心化监管的可靠价值交换。尽管近期在行业和学术界关注其事务历史的动态分析，但目前尚无开源工具提供全面事务信息的跟踪，以提取用户所需的数据，例如与不变量相关的数据。本文介绍了 OpenTracer，用于解决这一问题。OpenTracer 保证对每一步执行进行全面跟踪，提供完整的事务信息。OpenTracer 已用于分析 350,800 笔以太坊事务，成功推断出 23 种不同类型的不变量。该工具完全开源，为开发人员和研究人员提供了宝贵资源，以研究事务行为或从事务跟踪中提取和验证新的不变量。OpenTracer 的源代码可在 https://github.com/jeffchen006/OpenTracer 查看。
引用
@article{arxiv.2407.10039,
title = {OpenTracer: A Dynamic Transaction Trace Analyzer for Smart Contract Invariant Generation and Beyond},
author = {Zhiyang Chen and Ye Liu and Sidi Mohamed Beillahi and Yi Li and Fan Long},
journal= {arXiv preprint arXiv:2407.10039},
year = {2024}
}