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

hevm

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

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

اگلا دیکھیں

Crytic-Properties

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

⁦hevm⁩ ایک اوپن سورس، جدید ترین، تیز رفتار علامتی اور ٹھوس ⁦EVM⁩ ایگزیکیوشن انجن ہے جو سمارٹ کنٹریکٹس میں مسائل تلاش کر سکتا ہے۔ اپنے علامتی ایگزیکیوشن اور تجزیہ کے نظام کے ذریعے، ⁦hevm⁩ بگز تلاش کرنے کے لیے علامتی، نیم ٹھوس، یا ٹھوس طور پر کنٹریکٹس کو ایگزیکیوٹ کر سکتا ہے، یا تضادات کے لیے دو مختلف کنٹریکٹس کا موازنہ کر سکتا ہے، اور مساوات کی جانچ کر سکتا ہے۔

ٹیگز

  • ⁦CLI⁩
  • ⁦Foundry⁩
  • سیکیورٹی
  • علامتی عمل درآمد

ریپوزٹریethereum

معلومات

قسم
فز/پراپرٹی ٹیسٹنگ
⁦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.