Security & testing

solidity-coverage

Fuzz/Property testing

Hardhat · Analitik · Kod kapsamı · Solidity · Test otomasyonu

solidity-coverage, Hardhat geliştirici platformu için akıllı sözleşme kod kapsamı sağlar. Son derece doğrudur, tam viaIR solidity derlemesini ve çok sayıda solidity'ye özgü kod dalı (branch) modelini destekler. Yaklaşık 230 bin Github projesine kurulmuştur ve NPM'den haftada yaklaşık 100 bin kez indirilmektedir.

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.