A Survey on Vulnerability Detection Tools of Smart Contract Bytecode | IEEE Conference Publication | IEEE Xplore