TY - RPRT TI - SmartState: Detecting State-Reverting Vulnerabilities in Smart Contracts via Fine-Grained State-Dependency Analysis AU - Zeqin Liao AU - Sicheng Hao AU - Yuhong Nan AU - Zibin Zheng PY - 2024 DO - 10.1145/3597926.3598111 UR - https://arxiv.org/abs/2406.15988 ID - 2406.15988 ER -