Descarga de wake - Descarga del código fuente de wake

wake

Otras categorias

v4.13.2

Descargar

WAKE, un marco de desarrollo y pruebas de solidez basado en Python con detectores de vulnerabilidades incorporados

Cubierta de estela

Características:

Marco de prueba basado en Pytest
Fuzzer basado en la propiedad
implementaciones e interacciones principales
Detectores de vulnerabilidad y calidad de código
Impresoras para extraer información útil del código de solidez
Marco de análisis estático para implementar detectores e impresoras personalizados
Acciones de Github para configurar los detectores de Wake and Ejecutar
servidor de idiomas (LSP)
VS Extensión de código (herramientas para la solidez)
SOLC Version Manager

Dependencias

Python (versión 3.8 o superior)
Rosetta debe estar habilitada en Apple Silicon Macs

️ Python 3.12 es compatible experimentalmente.

Instalación

a través de pip

pip3 install eth-wake

Documentación y contribución

La documentación de Wake se puede encontrar aquí.

Allí también puede encontrar una sección sobre contribución.

Vulnerabilidades descubiertas

Vulnerabilidad	Gravedad	Proyecto	Método	Descubierto por	Recursos
Ganancias y pérdidas contables dos veces	Crítico	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Consola negación permanente del servicio	Alto	Brahma	Prueba de fuzz	Cadena de bloques de Ackee	Informe
Error de fórmula de relajación de intercambio	Alto	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Intercambiar la tarifa de relajación contabilizada dos veces	Alto	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Datos de eventos incorrectos	Alto	Soladia	Prueba de integración	Cadena de bloques de Ackee	Informe, pruebas de estela
`INTEREST_FROM_STRATEGY_BELOW_ZERO` revertir DOS	Medio	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Fórmula de interés hipotético inexacta	Medio	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Error de normalización de la tarifa de relajación de intercambio	Medio	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Depósitos de liquidación contabilizados en el saldo de LP	Medio	IPor	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela
Función de recibir falta	Medio	Axelar	Prueba de fuzz	Cadena de bloques de Ackee	Pruebas de estela
`SafeERC20` no utilizado para `approve`	Medio	Piscina	Prueba de fuzz	Cadena de bloques de Ackee	Pruebas de estela
Revestimiento no optimista y claves no acumuladas Contabilidad mala	Medio	Piscina	Prueba de fuzz	Cadena de bloques de Ackee	Informe, pruebas de estela

Características

Marco de prueba

Consulte ejemplos y documentación para obtener más información.

Escribir pruebas es tan simple como:

 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

Fuzzador

Fuzzer se basa en la parte superior del marco de prueba y permite pruebas de fuzz 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

Todos los detectores de calidad de vulnerabilidad y código se pueden ejecutar usando:

wake detect all

Se puede ejecutar un detector específico usando:

wake detect < detector-name >

Vea la documentación para una lista de todos los detectores.

Impresoras

Se puede ejecutar una impresora específica usando:

wake print < printer-name >

Vea la documentación para una lista de todas las impresoras.

Detectores e impresoras personalizados

Consulte la Guía Getting Start para obtener más información. También consulte Wake_Detectors y Wake_Printers para la implementación de detectores e impresoras incorporados.