مرکزی مواد پر جائیں
سیکیورٹی اور ٹیسٹنگ

Aderyn

فز/پراپرٹی ٹیسٹنگ

ویب سائٹ پر جائیں (نئے ٹیب میں کھلتا ہے)⁦X⁩ پر ⁦Aderyn⁩ (نئے ٹیب میں کھلتا ہے)⁦GitHub⁩ پر ⁦Aderyn⁩ (نئے ٹیب میں کھلتا ہے)

اگلا دیکھیں

ItyFuzz

⁦Aderyn⁩ کے بارے میں

Aderyn Cyfrin کا اوپن سورس، Rust پر مبنی Solidity سمارٹ کنٹریکٹ سٹیٹک اینالائزر ہے جسے پروٹوکول انجینئرز اور سیکیورٹی محققین کو Solidity کوڈ بیسز میں کمزوریوں کو تلاش کرنے میں مدد کے لیے ڈیزائن کیا گیا ہے۔

ٹیگز

  • ⁦CLI⁩
  • سیکیورٹی
  • تعلیم
  • ⁦Solidity⁩
  • سٹیٹک انالیسس
  • ⁦VSCode⁩ ایکسٹینشن
  • کمیونٹی کے زیر انتظام

ریپوزٹریCyfrin

معلومات

قسم
فز/پراپرٹی ٹیسٹنگ
⁦GitHub⁩ اسٹارز
۸۰۵
لائسنس
GPL-3.0
لسٹنگ کا جائزہ لیا گیا
جون ۲۰۲۶

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

Chimera

Chimera

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

Slither
⁦CROPS Native⁩

Slither

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

Echidna
⁦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.