Book
Open access
Oct 2026
Evidence-Grounded Logic Vulnerability Detection for Smart Contracts via Runtime Context Reasoning
Smart contracts are foundational to DeFi, yet detecting business-logic vulnerabilities, i.e., execution is syntactically correct but violates a contract’s intended behavior, remains difficult. Most recent LLM-based approaches still follow a largely static, source-code–centric auditing paradigm. In practice, however, sm...
Guan-Zhong Gong, Yu-Cong Jiang, Rong Jian et al.
· Proceedings of the 41st IEEE... · 0 citations