GaSaver: A Static Analysis Tool for Saving Gas[J] IEEE TRANSACTIONS ON SUSTAINABLE COMPUTING 2023(8) Zhao, Ziyi Li, Jiliang Su, Zhou Wang, Yuyi
