Téléchargement wake - Téléchargement du code source wake

wake

Autres catégories

v4.13.2

Télécharger

Wake, un cadre de développement et de test de solidité basés sur Python avec des détecteurs de vulnérabilité intégrés

Couverture de sillage

Caractéristiques:

Test Framework basé sur Pytest
Fuzzer basé sur la propriété
déploiements et interactions MainNet
Détecteurs de la vulnérabilité et de la qualité du code
imprimantes pour extraire des informations utiles du code de solidité
Cadre d'analyse statique pour la mise en œuvre de détecteurs et d'imprimantes personnalisés
Actions GitHub pour mettre en place des détecteurs de réveil et en cours d'exécution
Serveur de langue (LSP)
Vs extension de code (outils pour la solidité)
Solc Version Manager

Dépendances

Python (version 3.8 ou supérieure)
Rosetta doit être activée sur les mac de silicium Apple

️ Python 3.12 est soutenu expérimentalement.

Installation

via pip

pip3 install eth-wake

Documentation et contribution

La documentation de réveil peut être trouvée ici.

Vous pouvez également trouver une section sur la contribution.

Vulnérabilités découvertes

Vulnérabilité	Gravité	Projet	Méthode	Découvert par	Ressources
Bénéfice et perte comptabilisée deux fois	Critique	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Console déni de service permanent	Haut	Brahma	Test de fuzz	Blockchain ackee	Rapport
Échange d'erreur de formule de détention	Haut	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Échange des frais de détente comptabilisés deux fois	Haut	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Données d'événements incorrects	Haut	Solady	Test d'intégration	Blockchain ackee	Rapport, tests de réveil
`INTEREST_FROM_STRATEGY_BELOW_ZERO` revient DOS	Moyen	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Formule d'intérêt hypothétique inexact	Moyen	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Échange d'erreur de normalisation des frais de détention	Moyen	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Les dépôts de liquidation sont comptabilisés en solde LP	Moyen	Ipor	Test de fuzz	Blockchain ackee	Rapport, tests de réveil
Fonction de réception manquante	Moyen	Axélar	Test de fuzz	Blockchain ackee	Tests de réveil
`SafeERC20` non utilisé pour `approve`	Moyen	Piscine	Test de fuzz	Blockchain ackee	Tests de réveil
Vetting non optimiste et clés non liées à une mauvaise comptabilité	Moyen	Piscine	Test de fuzz	Blockchain ackee	Rapport, tests de réveil

Caractéristiques

Cadre de test

Voir des exemples et une documentation pour plus d'informations.

Les tests d'écriture sont aussi simples que:

 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

Flou

Fuzzer s'appuie sur le cadre des tests et permet des tests de fuzz efficaces des contrats intelligents de Solidity.

 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 )

Détecteurs

Tous les détecteurs de vulnérabilité et de qualité de code peuvent être exécutés en utilisant:

wake detect all

Un détecteur spécifique peut être exécuté en utilisant:

wake detect < detector-name >

Voir la documentation pour une liste de tous les détecteurs.

Imprimantes

Une imprimante spécifique peut être exécutée en utilisant:

wake print < printer-name >

Voir la documentation pour une liste de toutes les imprimantes.

Détecteurs et imprimantes personnalisés

Reportez-vous au Guide de démarrage pour plus d'informations. Consultez également Wake_Detectors et Wake_printers pour la mise en œuvre de détecteurs et d'imprimantes intégrés.