Bezpieczeństwo i testowanie

hevm

Testowanie fuzz/właściwości

Zobacz na GitHubie

Zobacz następne

Crytic-Properties

O hevm

hevm to otwartoźródłowy, nowoczesny, szybki silnik symbolicznego i konkretnego wykonywania EVM, który potrafi znajdować problemy w inteligentnych kontraktach. Dzięki systemowi symbolicznego wykonywania i analizy, hevm może symbolicznie, pół-konkretnie lub konkretnie wykonywać kontrakty w celu znalezienia błędów, lub porównywać dwa różne kontrakty pod kątem rozbieżności, przeprowadzając sprawdzanie równoważności.

Tagi

CLI
Foundry
Bezpieczeństwo
Wykonywanie symboliczne

Repozytoriumethereum

hevm362 (otwiera się w nowej karcie)

Informacje

Typ: Testowanie fuzz/właściwości
Gwiazdki na GitHubie: 362
Licencja: AGPL-3.0
Przegląd wpisu: czerwiec 2026

Podobne narzędzia

Chimera

Chimera to framework do pisania testów Solidity w foundry z możliwością ich ponownego użycia z innymi narzędziami Open Source, takimi jak Echidna, Medusa, Halmos i Kontrol

CROPS Native

Slither

Slither to silnik analizy statycznej w języku Python od Trail of Bits dla Solidity i Vyper: uruchom go w CI, aby odpalać detektory, drukować widoki strukturalne kontraktów lub skryptować niestandardowe sprawdzenia w całych bazach kodu.

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.