مرکزی مواد پر جائیں
Simbolik - Solidity Debugger
Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

سیکیورٹی · تعلیم · علامتی عمل درآمد · ⁦VSCode⁩ ایکسٹینشن · رن ٹائم کی تصدیق · رسمی تصدیق

ویب سائٹ (opens in a new tab)سوشل (opens in a new tab)runtimeverification/simbolik-vscode(۴۸ ☆) (opens in a new tab)runtimeverification/simbolik-examples(۵ ☆) (opens in a new tab)

⁦Simbolik⁩ ایک طاقتور ⁦Solidity⁩ ڈیبگر ہے جو روایتی بریک پوائنٹ ڈیبگنگ کو علامتی عمل درآمد (symbolic execution) کے ساتھ جوڑتا ہے، جس سے ڈیولپرز کو ہر ممکنہ عمل درآمد کے راستے کو دریافت کرنے اور درستگی کے ساتھ کمزوریوں کو بے نقاب کرنے کے قابل بناتا ہے۔ ⁦VSCode⁩ ایکسٹینشن کے طور پر دستیاب، ⁦Simbolik⁩ موجودہ ورک فلوز میں بغیر کسی رکاوٹ کے ضم ہو جاتا ہے، جو بریک پوائنٹ طرز کی ڈیبگنگ، ⁦Solidity⁩ اور ⁦EVM⁩ کی سطح کا معائنہ، اور رسمی تصدیق کی صلاحیتیں پیش کرتا ہے۔

Related resources

CodeTracer

CodeTracer

⁦CodeTracer⁩ ایک صارف دوست ٹائم ٹریولنگ ڈیبگر ہے جسے ⁦web3⁩ پروگرامنگ زبانوں کی ایک وسیع رینج کو سپورٹ کرنے کے لیے ڈیزائن کیا گیا ہے۔

EDB: The Ethereum Project Debugger

⁦EDB⁩ Solidity ایگزیکیوشن کے لیے ایک سورس-لیول ڈیبگر ہے جس میں سٹیپنگ، لوکلز، واچز، اور بریک پوائنٹس شامل ہیں جب آپ کو آن چین یا ٹیسٹس میں کنٹریکٹ کے رویے میں ⁦IDE-grade⁩ ویزیبلٹی کی ضرورت ہوتی ہے۔

Abi Ninja

Abi Ninja

Abi Ninja معلوم ⁦ABIs⁩، پیسٹ کیے گئے ⁦ABIs⁩، یا ڈی کمپائلڈ بائٹ کوڈ کے ساتھ کنٹریکٹس کو کال کرنے کے لیے ایک براؤزر ⁦UI⁩ ہے، جس میں آپ کے مقامی طور پر چلنے والے Hardhat یا Anvil نوڈ سمیت کئی نیٹ ورکس پر پراکسی-آگاہ ریڈز شامل ہیں۔

Walnut

⁦EVM⁩ کے لیے ویب پر مبنی ٹرانزیکشن ڈیبگر اور سمیلیٹر۔ اوپن سورس اور سیلف ہوسٹ ایبل۔ ہر قدم پر متغیر حالتوں کا معائنہ کریں، تعینات کرنے سے پہلے ٹرانزیکشنز کی نقل کریں، اور گیس کے استعمال کی پروفائل بنائیں۔ کسی بھی ⁦RPC⁩ پرووائیڈر کو سپورٹ کرتا ہے۔

evmc

آپ کے ⁦IDE⁩ میں فوری طور پر کنٹریکٹ کوڈ لوڈ کرنے کے لیے ایک سادہ ⁦cli⁩ ٹول۔

solizard

solizard

سمارٹ کنٹریکٹس کے ساتھ تعامل کے لیے انتہائی آسان انٹرایکٹو شیل