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

Crytic-Properties

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

⁦GitHub⁩ پر دیکھیں (نئے ٹیب میں کھلتا ہے)⁦X⁩ پر ⁦Crytic-Properties⁩ (نئے ٹیب میں کھلتا ہے)

اگلا دیکھیں

AuditHub

⁦Crytic-Properties⁩ کے بارے میں

Crytic-Properties کچھ سب سے زیادہ استعمال ہونے والے ٹوکن معیارات جیسے ERC-20، ERC-721، ERC-4626، اور مزید کے لیے دوبارہ استعمال کے قابل سیکیورٹی ٹیسٹس کا ایک مجموعہ ہے۔

ٹیگز

  • سیکیورٹی
  • ⁦ERC-721⁩
  • فز ٹیسٹنگ
  • ⁦Solidity⁩

ریپوزٹریcrytic

معلومات

قسم
فز/پراپرٹی ٹیسٹنگ
⁦GitHub⁩ اسٹارز
۳۷۲
لائسنس
AGPL-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.