Detecting Functional Bugs in Smart Contracts through LLM-Powered and Bug-Oriented Composite Analysis. - Binbin Zhao; Xingshuang Lin; Yuan Tian 001; Saman A. Zonouz; Na Ruan; Jiliang Li; Raheem Beyah; Shouling Ji (CoRR, 2025)