PSR²: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
With the rapid advancement of decentralized applications, smart contract security faces severe challenges, particularly regarding atomicity violations in complex logic such as Oracle and NFT contracts. Rigid rule sets often limit traditional static analyzers and lack deep contextual awareness, leading to high false-positive and false-negative rates when identifying vulnerabilities that depend on intermediate state inconsistencies. To address these limitations, this paper proposes PSR², a novel collaborative static analysis framework that integrates structural path searching with deterministic semantic reasoning. PSR² utilizes a Graph Structure Analysis Agent (GSAA) to identify suspicious execution sequences in control flow graphs and a Semantic Context Analysis Agent (SCSA) to extract data dependencies and state facts from abstract syntax trees. A Fusion Decision Agent (FDA) then performs formal cross validation to confirm vulnerabilities based on a unified atomicity inconsistency model. Experimental results on 1,600 contract samples demonstrate that PSR² significantly outperforms tools, achieving an F1-score of 94.69% in complex ERC-721 scenarios—a substantial improvement over the 51.86% achieved by pattern-matching baselines. Ablation studies further confirm that our fusion logic effectively reduces the false-positive rate by nearly half compared to single module analysis.
Thu 9 JulDisplayed time zone: Eastern Time (US & Canada) change
14:00 - 15:30 | Demystifying bugsResearch Papers / Ideas, Visions and Reflections at MB 9A Chair(s): Song Wang York University | ||
14:00 20mTalk | Understanding Performance Problems in CUDA Programs Research Papers Yuyang Bi , Junming Cao Fudan University, You Lu Fudan University, Bihuan Chen Fudan University, Tianwei Gan Fudan University, Dingji Wang Fudan University, Xin Peng Fudan University | ||
14:20 20mTalk | CrossFit: Demystifying VM Callback Bugs in Interpreters Research Papers | ||
14:40 10mTalk | PSR²: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement Ideas, Visions and Reflections Xiaoqi Li Hainan University, Xin Wang Hainan University, Wenkai Li Hainan University, Zongwei Li Hainan University | ||
15:00 10mTalk | When Shared Worlds Break: Demystifying Defects in Multi-User Extended Reality Software Systems Research Papers Shuqing Li The Chinese University of Hong Kong, Chenran Zhang Harbin Institute of Technology, Binchang Li Harbin Institute of Technology, Cuiyun Gao Harbin Institute of Technology, Shenzhen, Michael Lyu The Chinese University of Hong Kong | ||