নিরাপত্তা ও টেস্টিং
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.