Echidna

फझ/प्रॉपर्टी चाचणी

GitHub वर पहा

पुढे पहा

Synpress

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.

टॅग्स

फझ टेस्टिंग
चाचणी
सुरक्षा

रिपॉझिटरीcrytic

echidna3.2 ह (नवीन टॅबमध्ये उघडते)

माहिती

प्रकार: फझ/प्रॉपर्टी चाचणी
GitHub स्टार्स: 3.2 ह
परवाना: AGPL-3.0
लिस्टिंगचे पुनरावलोकन केले: सप्टेंबर 2026

समान टूल्स

Chimera

Chimera हे Foundry मध्ये Solidity टेस्ट्स लिहिण्यासाठी आणि Echidna, Medusa, Halmos आणि Kontrol सारख्या इतर ओपन सोर्स टूल्ससोबत त्यांचा पुनर्वापर करण्यास सक्षम होण्यासाठी एक फ्रेमवर्क आहे

CROPS नेटिव्ह

Slither

स्लिदर हे Trail of Bits चे Solidity आणि Vyper साठी Python स्टॅटिक ॲनालिसिस इंजिन आहे: डिटेक्टर्स कार्यान्वित करण्यासाठी, कॉन्ट्रॅक्ट्सचे स्ट्रक्चरल व्ह्यूज प्रिंट करण्यासाठी किंवा संपूर्ण कोडबेसेसवर कस्टम चेक्स स्क्रिप्ट करण्यासाठी ते CI मध्ये चालवा.

Medusa

Medusa हे Echidna पासून प्रेरित एक स्टेटफुल स्मार्ट कॉन्ट्रॅक्ट फझर आहे. हे स्मार्ट कॉन्ट्रॅक्ट्सचे पॅरललाइज्ड फझ टेस्टिंग आणि प्रगत स्मार्ट कॉन्ट्रॅक्ट इन्व्हेरियंट्सचे व्हेरिफिकेशन प्रदान करते.