Security & testing

hevm

Fuzz/Property testing

CLI · Foundry · Güvenlik · Sembolik yürütme

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.

Related resources

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.

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.

Synpress

Synpress, Playwright'ı Ethereum uyumlu tarayıcı otomasyonuyla katmanlandırır, böylece CI'da cüzdan açılır pencereleri ve zincir geçişleri dahil olmak üzere merkeziyetsiz uygulamaları (dapp'ler) uçtan uca test edebilirsiniz.

Aderyn

Aderyn, protokol mühendislerinin ve güvenlik araştırmacılarının Solidity kod tabanlarındaki güvenlik açıklarını bulmasına yardımcı olmak için tasarlanmış, Cyfrin'in açık kaynaklı, Rust tabanlı Solidity akıllı sözleşme statik analizörüdür.

Medusa

Medusa, Echidna'dan esinlenen durum bilgisi olan (stateful) bir akıllı sözleşme fuzzer'ıdır. Akıllı sözleşmelerin paralelleştirilmiş fuzz testini ve gelişmiş akıllı sözleşme değişmezlerinin (invariants) doğrulanmasını sağlar.

Titanoboa

Titanoboa, tam bir Foundry döngüsü dışında sözleşmelerle denemeler yaparken hızlı geri bildirim döngüleri için etkileşimli bir Vyper yorumlayıcısı ve test ortamıdır.