سیکیورٹی اور ٹیسٹنگ

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

ityfuzz۱٫۱ ہزار (نئے ٹیب میں کھلتا ہے)

معلومات

قسم: فز/پراپرٹی ٹیسٹنگ
⁦GitHub⁩ اسٹارز: ۱٫۱ ہزار
لائسنس: MIT
لسٹنگ کا جائزہ لیا گیا: ستمبر ۲۰۲۶

ملتے جلتے ٹولز

Chimera

⁦Chimera⁩ ⁦foundry⁩ میں ⁦Solidity⁩ ٹیسٹ لکھنے اور انہیں دیگر اوپن سورس ٹولز جیسے ⁦Echidna⁩، ⁦Medusa⁩، ⁦Halmos⁩ اور ⁦Kontrol⁩ کے ساتھ دوبارہ استعمال کرنے کے قابل ہونے کے لیے ایک فریم ورک ہے۔

⁦CROPS Native⁩

Slither

سلدر ⁦Solidity⁩ اور ⁦Vyper⁩ کے لیے ⁦Trail of Bits⁩ کا ⁦Python⁩ جامد تجزیہ انجن ہے: اسے ⁦CI⁩ میں چلائیں تاکہ ڈیٹیکٹرز کو فائر کیا جا سکے، کنٹریکٹس کے ساختی مناظر پرنٹ کیے جا سکیں، یا پورے کوڈ بیسز پر کسٹم چیکس اسکرپٹ کیے جا سکیں۔

⁦CROPS Native⁩

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.