Security & testing

hevm

Fuzz/Property testing

CLI · Foundry · Sécurité · Exécution symbolique

hevm est un moteur d'exécution EVM symbolique et concret, open source, de pointe et rapide, qui peut trouver des problèmes dans les contrats intelligents. Grâce à son système d'exécution et d'analyse symbolique, hevm peut exécuter des contrats de manière symbolique, semi-concrète ou concrète pour trouver des bugs, ou comparer deux contrats différents pour détecter des divergences, en effectuant une vérification d'équivalence.

Related resources

Chimera

Chimera est un framework pour écrire des tests Solidity dans Foundry et pouvoir les réutiliser avec d'autres outils open source tels que Echidna, Medusa, Halmos et Kontrol

Slither

Slither est le moteur d'analyse statique Python de Trail of Bits pour Solidity et Vyper : exécutez-le dans l'intégration continue (CI) pour déclencher des détecteurs, imprimer des vues structurelles de contrats ou scripter des vérifications personnalisées sur des bases de code entières.

Synpress

Synpress superpose Playwright avec une automatisation de navigateur compatible avec Ethereum afin que vous puissiez tester de bout en bout les applications décentralisées (dapps), y compris les fenêtres contextuelles de portefeuille et les changements de chaîne, dans l'intégration continue (CI).

Aderyn

Aderyn est l'analyseur statique de contrats intelligents Solidity open source basé sur Rust de Cyfrin, conçu pour aider les ingénieurs de protocole et les chercheurs en sécurité à trouver des vulnérabilités dans les bases de code Solidity.

Medusa

Medusa est un fuzzer de contrats intelligents avec état (state) inspiré par Echidna. Il fournit des tests de fuzzing parallélisés de contrats intelligents et la vérification d'invariants avancés de contrats intelligents.

Titanoboa

Titanoboa est un interpréteur Vyper interactif et un harnais de test pour des boucles de rétroaction rapides lorsque vous expérimentez avec des contrats en dehors d'une boucle Foundry complète.