Publicação: Um estudo comparativo de ferramentas de auditoria em contratos inteligentes
Carregando...
Tipo do documento
Data
Direito de acesso
Programa
Área do conhecimento
CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO::SISTEMAS DE COMPUTACAO
Título da Revista
ISSN da Revista
Título de Volume
Orientador
Coorientador
Resumo
O autor Nick Szabo(SZABO, 1994) introduziu o conceito de contratos inteligentes como
protocolos de transações computadorizadas que executam os termos de um contrato defi-
nido no código do contrato. Neste trabalho verificamos as vulnerabilidades registradas em
contratos inteligentes, exploramos e colocamos em funcionamento ferramentas de análise
de vulnerabilidades em contratos com o intuito de comparar as ferramentas assim como ve-
rificar os resultados apresentados pelas mesmas. As ferramentas Echidna, Mythril, Slither
e Scribble foram testadas em diferentes contratos inteligentes. Contratos utilizados para
fins didáticos como Ethernaut e SWC assim como contratos da rede Ethereum utiliza-
dos em NFTS e moedas virtuais obtidos pela página Etherscan. A conclusão do trabalho
foi determinada após os testes das ferramentas, cada ferramenta possui suas vantagens e
formas de uso, porém uma combinação de ditas ferramentas poderá ajudar o auditor de
segurança dos contratos a obter resultados melhores em sua busca por falhas e vulnera-
bilidades.
Abstract
Palavras-chave
Blockchain, Vulnerabilidades, Contratos inteligentes
Citação
LEYES, Fabricio Ismael. Um estudo comparativo de ferramentas de auditoria em contratos inteligentes. 2023. 35 f. Trabalho de Conclusão de Curso (Graduação em Sistemas de Informação) – Universidade Federal de Uberlândia, Uberlândia, 2023.
DOI
Avaliação
Revisão
Suplementado Por
Referenciado Por
Licença Creative Commons
Exceto quando indicado de outra forma, a licença deste item é descrita como Acesso Aberto