paperbot · PL 论文追踪

全部论文 待读 收藏

P2 TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts

TransRacer：面向智能合约的函数依赖引导交易竞态检测
FSE Proceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering2023匹配度 2/10 · 该论文属于程序分析与符号执行，但应用领域是智能合约交易竞态，未涉及 LLM/Agent、ML 系统、浮点程序分析或贝叶斯程序分析，与用户的核心交叉方向几乎没有重合。引用 14 inbox
Chenyang Ma, Wei Song, Jeff Huang
程序分析与抽象解释分布式与容错
crossref: 2026-09-12dblp: 2026-09-12

AI 速览

一句话：TransRacer 用符号执行与函数依赖分析检测智能合约交易竞态，并生成触发见证。

智能合约定义了区块链上交易的执行规则，但同一区块内交易顺序可由矿工编排，可能因交易间数据竞态（交易竞态）导致意外结果。已有工作尚未充分研究该问题。本文提出 TransRacer，一种基于符号执行的自动化方法与开源工具，用于检测智能合约中的交易竞态。它通过分析函数依赖关系，识别隐藏在特定合约状态下的交易竞态，并生成能够触发这些竞态的见证交易。在 50 个真实智能合约上的实验表明了方法的有效性与效率：共检测到 426 个竞态，耗时 255.9 分钟，其中 149 个竞态缺陷会导致状态不一致。

问题
智能合约中同一区块内的交易顺序可由矿工编排，交易间数据竞态可能导致意外的状态不一致，但该问题此前未被充分研究。
方法
TransRacer 采用符号执行，并结合函数依赖分析来识别特定合约状态下隐藏的交易竞态，同时生成可触发竞态的见证交易。
评估
在 50 个真实智能合约上进行实验，共检测到 426 个竞态，耗时 255.9 分钟，其中 149 个竞态缺陷会导致状态不一致。
原文摘要（Abstract）

Smart contracts are programs that define rules for transactions running on blockchains. Since any qualified transaction sequence within the same block can be orchestrated by the blockchain miner, unexpected results may occur due to data races between transactions (called transaction races). Surprisingly, transaction races in smart contracts have not been fully investigated. To address this, we propose TransRacer, an automated approach and open-source tool that employs symbolic execution to detect transaction races in smart contracts. TransRacer analyzes function dependencies to identify transaction races hidden in specific contract states. It also generates witness transactions that can trigger such races. The experimental results on 50 real-world smart contracts show the effectiveness and efficiency of TransRacer: it detects 426 races in 255.9 minutes, including 149 race bugs leading to inconsistent states.

链接与引用

DOI 原文 · PDF（开放获取） · DBLP

BibTeX 
@inproceedings{MaSH23,
  title = {TransRacer: Function Dependence-Guided Transaction Race Detection for Smart Contracts},
  author = {Chenyang Ma and Wei Song and Jeff Huang},
  booktitle = {FSE},
  year = {2023},
  doi = {10.1145/3611643.3616281}
}