मुख्य सामग्री पर जाएं
सुरक्षा और परीक्षण

Aderyn

फ़ज़/प्रॉपर्टी परीक्षण

वेबसाइट पर जाएं (नए टैब में खुलता है)X पर Aderyn (नए टैब में खुलता है)GitHub पर Aderyn (नए टैब में खुलता है)

अगला देखें

ItyFuzz

Aderyn के बारे में

Aderyn, Cyfrin का ओपन-सोर्स, Rust-आधारित Solidity स्मार्ट अनुबंध स्टैटिक एनालाइज़र है, जिसे प्रोटोकॉल इंजीनियरों और सुरक्षा शोधकर्ताओं को Solidity कोड बेस में कमजोरियों को खोजने में मदद करने के लिए डिज़ाइन किया गया है।

टैग

  • CLI
  • सुरक्षा
  • शिक्षा
  • Solidity
  • स्थैतिक विश्लेषण
  • VSCode एक्सटेंशन
  • समुदाय संचालित

रिपॉजिटरीCyfrin

जानकारी

प्रकार
फ़ज़/प्रॉपर्टी परीक्षण
GitHub स्टार्स
805
लाइसेंस
GPL-3.0
लिस्टिंग की समीक्षा की गई
जून 2026

समान टूल

Chimera

Chimera

Chimera foundry में Solidity परीक्षण लिखने और उन्हें Echidna, Medusa, Halmos और Kontrol जैसे अन्य ओपन सोर्स टूल्स के साथ पुन: उपयोग करने में सक्षम होने के लिए एक फ्रेमवर्क है।

Slither
CROPS नेटिव

Slither

स्लिथर Solidity और Vyper के लिए Trail of Bits का Python स्टेटिक एनालिसिस इंजन है: डिटेक्टरों को ट्रिगर करने, कॉन्ट्रैक्ट्स के संरचनात्मक दृश्य प्रिंट करने, या संपूर्ण कोडबेस पर कस्टम चेक स्क्रिप्ट करने के लिए इसे CI में चलाएं।

Echidna
CROPS नेटिव

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.