Defendr : Smart Contract Vulnerability Scanner | IEEE Conference Publication | IEEE Xplore