Voltar aos Detalhes do Artigo Towards the Evolution of Tools for Detecting Vulnerabilities in Smart Contracts: A Case Study of Mythril and Slither Baixar ##common.downloadPdf##