Chiral Analysis of Smart Contracts: Detecting Vulnerabilities from Relational Inconsistencies across Business Paths

Smart-contract vulnerabilities often arise from inconsistencies between business paths that should correspond to one another, such as single and batch entry points, direct and adapter-based flows, quote and execution paths, or inverse operations such as buy and sell. Existing analyzers are...