Güvenlik ve test

hevm

Fuzz/Özellik testi

GitHub'da görüntüle

Sonrakini gör

Crytic-Properties

hevm Hakkında

hevm, akıllı sözleşmelerdeki sorunları bulabilen açık kaynaklı, son teknoloji ürünü, hızlı sembolik ve somut bir EVM yürütme motorudur. Sembolik yürütme ve analiz sistemi aracılığıyla hevm, hataları bulmak için sözleşmeleri sembolik, yarı somut veya somut olarak yürütebilir veya eşdeğerlik kontrolü gerçekleştirerek iki farklı sözleşmeyi tutarsızlıklar açısından karşılaştırabilir.

Etiketler

CLI
Foundry
Güvenlik
Sembolik yürütme

Depoethereum

hevm362 (yeni sekmede açılır)

Bilgi

Tür: Fuzz/Özellik testi
GitHub yıldızları: 362
Lisans: AGPL-3.0
Listeleme incelendi: Haziran 2026

Benzer araçlar

Chimera

Chimera, foundry'de Solidity testleri yazmak ve bunları Echidna, Medusa, Halmos ve Kontrol gibi diğer Açık Kaynaklı Araçlarla yeniden kullanabilmek için bir çerçevedir.

CROPS Native

Slither

Slither, Trail of Bits'in Solidity ve Vyper için Python statik analiz motorudur: dedektörleri tetiklemek, sözleşmelerin yapısal görünümlerini yazdırmak veya tüm kod tabanları üzerinde özel kontrolleri betiklemek için CI'da çalıştırın.

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.