CFGCon: A Scheme for Accurately Generating Control Flow Graphs of Smart Contracts. - Nengyu Xia; Yixin Zhang; Wei Ren; Xianyi Chen (APWeb/WAIM (3), 2023)