VFIX: Facilitating Software Maintenance of Smart Contracts via Automatically Fixing Vulnerabilities

Pengcheng Fang, Peng Gao, Yun Peng, Qingzhao Zhang, Tao Xie, Dawn Song, Prateek Mittal, Sanjeev Kulkarni, Zhuotao Liu, Xusheng Xiao