Security & testing

foundry-storage-check

Fuzz/Property testing

Foundry · CLI · DevOps · GitHub Actions · Solidity · Depolama düzeni · Kod kalitesi · Güvenlik

foundry-storage-check, yükseltilebilir proxy depolama düzenlerinin çarpışmaya karşı güvenli kalmasını ve yeni eklenen depolama yuvalarının birleştirmeler gönderilmeden önce zincir içi sıfırla başlatılmasını sağlamak için her çekme isteğinde çalışan Foundry projeleri için bir GitHub Action'dır.

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.