ReenRepair: Automatic and semantic equivalent repair of reentrancy in smart contracts. - Ruiyao Huang; Qingni Shen; Yuchen Wang; Yiqi Wu; Zhonghai Wu; Xiapu Luo; Anbang Ruan (J. Syst. Softw., 2024)