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

ItyFuzz

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

पुढे पहा

ItyFuzz बद्दल

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

टॅग्स

फझ टेस्टिंग
प्रतीकात्मक अंमलबजावणी
सुरक्षा

रिपॉझिटरीfuzzland

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

माहिती

प्रकार: फझ/प्रॉपर्टी चाचणी
GitHub स्टार्स: 1.1 ह
परवाना: MIT
लिस्टिंगचे पुनरावलोकन केले: सप्टेंबर 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.