Güvenlik ve test

Crytic-Properties

Fuzz/Özellik testi

GitHub'da görüntüle

Sonrakini gör

AuditHub

Crytic-Properties Hakkında

Crytic-Properties, ERC-20, ERC-721, ERC-4626 ve daha fazlası gibi en yaygın kullanılan token standartlarından bazıları için yeniden kullanılabilir güvenlik testleri paketidir.

Etiketler

Güvenlik
ERC-721
Fuzz testi
Solidity

Depocrytic

properties372 (yeni sekmede açılır)

Bilgi

Tür: Fuzz/Özellik testi
GitHub yıldızları: 372
Lisans: AGPL-3.0
Listeleme incelendi: Mart 2026

Benzer araçlar

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.

CROPS Native

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.

CROPS Native

Echidna

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.