Desmistificando Bugs Exploráveis em Contratos Inteligentes

Este projeto tem como objetivo fornecer um recurso valioso para desenvolvedores Web3 e analistas de segurança, facilitando a compreensão de bugs exploráveis em contratos inteligentes. Conduzimos uma análise aprofundada de bugs exploráveis extraídos do code4rena e classificamos cada bug de acordo com sua natureza.

Nossa pesquisa inicial sugere que uma proporção notável de bugs exploráveis em contratos inteligentes são bugs funcionais, que não podem ser detectados usando oráculos simples e gerais, como reentrância. Nosso objetivo é aumentar a conscientização sobre a importância desses bugs e incentivar os profissionais a desenvolverem oráculos semânticos automáticos mais sofisticados e matizados para detectá-los.

Um número significativo de bugs exploráveis em contratos inteligentes se enquadra na categoria de bugs funcionais, que não podem ser detectados usando oráculos simples e gerais.

Por favor, esteja ciente de que este repositório está atualmente em desenvolvimento ativo, e os dados podem mudar ao longo do tempo devido aos concursos contínuos da code4rena.

Descrição do Conjunto de Dados

Estrutura de Pastas

O conjunto de dados está organizado em quatro pastas:

• papers/: contém nosso artigo ICSE23 resumindo nossos resultados preliminares, bem como o material suplementar do artigo.
• results/: contém a classificação de bugs em bugs.csv e a descrição de cada concurso em contests.csv.
• contracts/: contém todos os contratos inteligentes que examinamos, usando a versão da época do concurso.
• reports/: contém todos os relatórios fornecidos pela code4rena.

Rótulos de Bugs

Classificamos os bugs pesquisados em três categorias principais com base em sua natureza:

• Bugs fora do escopo (denotados por O)
• Bugs com oráculos de teste simples e gerais (denotados por L)
• Bugs que exigem oráculos semânticos de alto nível (denotados por S)

Como a classificação de bugs funcionais pode ser ambígua, aceitamos sugestões para melhorar nossos padrões de classificação. Você pode encontrar informações mais detalhadas sobre os rótulos em nossa documentação, e incentivamos você a consultar nossas diretrizes atuais de classificação para obter mais informações.

Ferramentas de Análise de Segurança Recomendadas

Nosso objetivo é criar uma lista abrangente de técnicas de detecção de vulnerabilidades que será um recurso valioso para desenvolvedores Web3 e analistas de segurança. Vamos nos concentrar em duas categorias principais:

• Técnicas de detecção de vulnerabilidades que priorizam o desenvolvimento de oráculos semânticos para contratos inteligentes.
• Ferramentas de análise de segurança publicamente disponíveis que podem ser usadas para auditoria

Aceitamos calorosamente quaisquer sugestões ou contribuições adicionais da comunidade para ajudar a expandir e melhorar a lista.

Detecção de Vulnerabilidades com Oráculos Semânticos Automáticos

Acreditamos que os futuros esforços de segurança web3 priorizarão a identificação de bugs funcionais e o desenvolvimento de oráculos correspondentes. Para tanto, pretendemos compilar uma lista de técnicas que ofereçam orientação na criação de oráculos semânticos automáticos. Essas técnicas serão provenientes de diversos materiais, como artigos de pesquisa revisados por pares, pré-impressões, ferramentas da indústria e recursos online.

Técnicas de Análise de Segurança Publicamente Disponíveis

Esta seção incluirá técnicas de código aberto que estão publicamente disponíveis e em desenvolvimento ativo. Essas técnicas podem ser usadas diretamente por desenvolvedores Web3 e analistas de segurança ou como blocos de construção para outras ferramentas. Damos prioridade a técnicas no nível do código-fonte, que são mais adequadas aos contextos de desenvolvimento e auditoria Web3.

Recursos Valiosos para Segurança Web3

Contribuindo

Recebemos todos os tipos de contribuições para o nosso projeto, incluindo, mas não se limitando a:

• Sugerir novas técnicas de referência para análise de segurança de contratos inteligentes.
• Adicionar bugs de concursos code4rena recém-divulgados.
• Sugerir melhorias ao padrão de classificação
• Corrigir bugs rotulados incorretamente
• Preencher quaisquer entidades defillama ausentes no results/contests.csv

Mais detalhes podem ser encontrados nas nossas diretrizes de contribuição.

Citação

Se você estiver usando nosso conjunto de dados para uma publicação acadêmica, agradeceríamos muito uma citação para o seguinte trabalho:``` @inproceedings{DBLP:conf/icse/ZhangZXL23, author = {Zhuo Zhang and Brian Zhang and Wen Xu and Zhiqiang Lin}, title = {Demystifying Exploitable Bugs in Smart Contracts}, booktitle = {{ICSE}}, pages = {615--627}, publisher = {{IEEE}}, year = {2023} }

## Esclarecimento

Consulte nossa [documentação](https://github.com/zhangzhuosjtu/web3bugs/blob/HEAD/docs/classification.md) de classificação.

## Agradecimentos

Gostaríamos de expressar nossos sinceros agradecimentos à [code4rena](https://code4rena.com/) por disponibilizar publicamente estas informações valiosas.

<details>
<summary>Nossa gratidão também se estende aos seguintes contribuidores por suas valiosas contribuições.</summary></br>

+ [__ItsNio__](https://github.com/niothefirst)
+ [__Wen Xu__](https://github.com/tarafans)
+ [__Patrick Collins__](https://github.com/PatrickAlphaC)
+ [__Meng Xu__](https://twitter.com/meng_xu_cs)
+ [__y3s0n__](https://github.com/CharesFang)
+ [__William Aaron Cheung__](https://github.com/Troublor)
+ [__soaphorn__](https://github.com/soaphorn)
+ [__Fabio Gritti__](https://github.com/degrigis)
+ [__Yannick__](https://twitter.com/MillusPontius)

</details>