सुरक्षा आणि चाचणी

goevmlab

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

पुढे पहा

goevmlab बद्दल

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

टॅग्स

फझ टेस्टिंग
चाचणी
डीबगिंग टूल्स

रिपॉझिटरीholiman

goevmlab314 (नवीन टॅबमध्ये उघडते)

माहिती

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

समान टूल्स

Chimera

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

CROPS नेटिव्ह

Slither

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

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.