मुख्य सामग्रीवर जा
सुरक्षा आणि चाचणी

Crytic-Properties

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

GitHub वर पहा (नवीन टॅबमध्ये उघडते)X वर Crytic-Properties (नवीन टॅबमध्ये उघडते)

पुढे पहा

AuditHub

Crytic-Properties बद्दल

Crytic-Properties हा ERC20, ERC721, ERC4626 आणि इतर काही सर्वाधिक वापरल्या जाणाऱ्या टोकन मानकांसाठी पुन्हा वापरता येण्याजोग्या सुरक्षा चाचण्यांचा एक संच आहे.

टॅग्स

  • सुरक्षा
  • ERC-721
  • फझ टेस्टिंग
  • Solidity

रिपॉझिटरीcrytic

माहिती

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

समान टूल्स

Chimera

Chimera

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

Slither
CROPS नेटिव्ह

Slither

स्लिदर हे Trail of Bits चे Solidity आणि Vyper साठी 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.