Download wake - Download do código -fonte wake

wake

Outras categorias

v4.13.2

Baixar

Wake, uma estrutura de desenvolvimento e teste de solidez baseada em Python com detectores de vulnerabilidade integrados

Capa de despertar

Características:

estrutura de teste com base no pytest
Fuzzeiro baseado em propriedades
implantações e interações MainNet
Vulnerabilidade e detectores de qualidade de código
Impressoras para extrair informações úteis do código de solidez
Estrutura de análise estática para implementar detectores e impressoras personalizadas
Ações do GitHub para configurar os detectores de despertar e executar
servidor de idiomas (LSP)
VS Extensão de Código (Ferramentas para Solidez)
Solc Version Manager

Dependências

Python (versão 3.8 ou superior)
Rosetta deve ser ativado no Apple Silicon Macs

️ O Python 3.12 é apoiado experimentalmente.

Instalação

via pip

pip3 install eth-wake

Documentação e contribuição

A documentação de despertar pode ser encontrada aqui.

Lá você também pode encontrar uma seção sobre a contribuição.

Vulnerabilidades descobertas

Vulnerabilidade	Gravidade	Projeto	Método	Descoberto por	Recursos
Lucro e perda contabilizados duas vezes	Crítico	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Console negação permanente de serviço	Alto	Brahma	Teste de fuzz	Blockchain Ackee	Relatório
Trocar erro de fórmula desenrolada	Alto	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Taxa de despojamento de troca duas vezes	Alto	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Dados de eventos incorretos	Alto	Solady	Teste de integração	Blockchain Ackee	Relatório, testes de vigília
`INTEREST_FROM_STRATEGY_BELOW_ZERO` reverte DOS	Médio	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Fórmula de interesse hipotético impreciso	Médio	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Trocar o erro de normalização da taxa de desenrolar	Médio	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Depósitos de liquidação contabilizados no saldo do LP	Médio	Ipor	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília
Função de recebimento ausente	Médio	AXELAR	Teste de fuzz	Blockchain Ackee	Testes de despertar
`SafeERC20` não usado para `approve`	Médio	Lido	Teste de fuzz	Blockchain Ackee	Testes de despertar
Vetting não otimista e chaves não conduzidas contábeis ruins	Médio	Lido	Teste de fuzz	Blockchain Ackee	Relatório, testes de vigília

Características

Estrutura de teste

Consulte Exemplos e documentação para obter mais informações.

Os testes de escrita são tão simples quanto:

 from wake . testing import *
from pytypes . contracts . Counter import Counter

@ chain . connect ()
def test_counter ():
    counter = Counter . deploy ()
    assert counter . count () == 0

    counter . increment ()
    assert counter . count () == 1

Fuzzer

O Fuzzher se baseia no topo da estrutura de teste e permite testes eficientes de contratos inteligentes de solidez.

 from wake . testing import *
from wake . testing . fuzzing import *
from pytypes . contracts . Counter import Counter

class CounterTest ( FuzzTest ):
    def pre_sequence ( self ) -> None :
        self . counter = Counter . deploy ()
        self . count = 0

    @ flow ()
    def increment ( self ) -> None :
        self . counter . increment ()
        self . count += 1

    @ flow ()
    def decrement ( self ) -> None :
        with may_revert ( PanicCodeEnum . UNDERFLOW_OVERFLOW ) as e :
            self . counter . decrement ()

        if e . value is not None :
            assert self . count == 0
        else :
            self . count -= 1

    @ invariant ( period = 10 )
    def count ( self ) -> None :
        assert self . counter . count () == self . count

@ chain . connect ()
def test_counter ():
    CounterTest (). run ( sequences_count = 30 , flows_count = 100 )

Detectores

Todas as vulnerabilidades e detectores de qualidade de código podem ser executados usando:

wake detect all

Um detector específico pode ser executado usando:

wake detect < detector-name >

Consulte a documentação para uma lista de todos os detectores.

Impressoras

Uma impressora específica pode ser executada usando:

wake print < printer-name >

Veja a documentação para uma lista de todas as impressoras.

Detectores e impressoras personalizados

Consulte o Guia de Iniciação para obter mais informações. Confira também Wake_Detectors e Wake_Printers para a implementação de detectores e impressoras embutidas.