Zum Hauptinhalt springen
Sicherheit & Testing

hevm

Fuzz-/Property-Testing

Auf GitHub ansehen (öffnet in einem neuen Tab)

Nächstes ansehen

Crytic-Properties

Über hevm

hevm ist eine quelloffene, hochmoderne, schnelle symbolische und konkrete EVM-Ausführungs-Engine, die Probleme in Smart Contracts finden kann. Durch sein symbolisches Ausführungs- und Analysesystem kann hevm Verträge symbolisch, halbkonkret oder konkret ausführen, um Fehler zu finden, oder zwei verschiedene Verträge auf Diskrepanzen vergleichen und eine Äquivalenzprüfung durchführen.

Tags

  • CLI
  • Foundry
  • Sicherheit
  • Symbolische Ausführung

Repositoryethereum

Info

Typ
Fuzz-/Property-Testing
GitHub-Sterne
362
Lizenz
AGPL-3.0
Eintrag überprüft
Juni 2026

Ähnliche Tools

Chimera

Chimera

Chimera ist ein Framework, um Solidity-Tests in foundry zu schreiben und sie mit anderen Open-Source-Tools wie Echidna, Medusa, Halmos und Kontrol wiederverwenden zu können

Slither
CROPS Native

Slither

Slither ist die statische Python-Analyse-Engine von Trail of Bits für Solidity und Vyper: Führen Sie sie in der CI aus, um Detektoren auszulösen, Strukturansichten von Verträgen zu drucken oder benutzerdefinierte Prüfungen über ganze Codebasen hinweg zu skripten.

Echidna
CROPS Native

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.