Fei Tong, Zihao Li, Guang Cheng 0001, Yujian Zhang, Heng Li 0005. sBugChecker: A Systematic Framework for Detecting Solidity Compiler-Introduced Bugs. IEEE Transactions on Information Forensics and Security, 20:9760-9775, 2025. [doi]
Abstract is missing.