SPrune: A Code Pruning Tool for Ethereum Solidity Contract Static Analysis. - Zihan Zhou 006; Yan Xiong 001; Wenchao Huang 001; Lu Ma (BigCom, 2020)