PSR2: A Phase-based Semantic Reasoning Framework for Atomicity Violation Detection via Contract Refinement
PSR2 is a new static analysis framework that finds atomicity violations in smart contracts by combining structural path searching with deep semantic reasoning. It analyzes code through three stages: semantic context analysis, graph structure analysis, and fusion decision-making. This approach uses facts derived from the code's meaning to accurately pinpoint risky execution paths.