Crytic-Properties

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, 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, 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, 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, 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, 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.