Titanoboa

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.

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.