मुख्य सामग्रीवर जा

पुढे पहा

Echidna

Slither बद्दल

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

टॅग्स

  • सुरक्षा
  • स्थिर विश्लेषण
  • Solidity
  • Vyper
  • सतत एकत्रीकरण

रिपॉझिटरीcrytic

माहिती

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

समान टूल्स