Statically Checking Missing Input Validations in Solidity Smart Contracts - A Case Study. - Sundas Munir; Mirza Sanam Iqbal Baig; Mah Noor; Syeda Hina Murad (Blockchain, 2023)