تخطي إلى المحتوى الرئيسي
Simbolik - Solidity Debugger
Security & testing

Simbolik - Solidity Debugger

Debugging & inspection

الأمان · التعليم · تنفيذ رمزي · إضافة ⁦VSCode⁩ · التحقق في وقت التشغيل · تحقق شكلي

الموقع الإلكتروني (opens in a new tab)التواصل الاجتماعي (opens in a new tab)runtimeverification/simbolik-vscode(48 ☆) (opens in a new tab)runtimeverification/simbolik-examples(5 ☆) (opens in a new tab)

إن ⁦Simbolik⁩ هو مصحح أخطاء ⁦Solidity⁩ قوي يجمع بين تصحيح أخطاء نقاط التوقف التقليدية والتنفيذ الرمزي، مما يتيح للمطورين استكشاف كل مسار تنفيذ ممكن والكشف عن نقاط الضعف بدقة. يتوفر ⁦Simbolik⁩ كإضافة لـ VSCode، ويندمج بسلاسة في سير العمل الحالي، ويقدم تصحيح أخطاء بأسلوب نقاط التوقف، وفحصًا على مستوى ⁦Solidity⁩ و ⁦EVM⁩، وقدرات التحقق الشكلي.

Related resources

CodeTracer

CodeTracer

إن ⁦CodeTracer⁩ هو مصحح أخطاء سهل الاستخدام يتتبع الوقت ومصمم لدعم مجموعة واسعة من لغات برمجة ⁦web3⁩.

EDB: The Ethereum Project Debugger

إن EDB هو مصحح أخطاء على مستوى المصدر لتنفيذ Solidity مع التخطي، والمتغيرات المحلية، والمراقبة، ونقاط التوقف عندما تحتاج إلى رؤية بمستوى بيئة التطوير المتكاملة (IDE) لسلوك العقد على السلسلة أو في الاختبارات.

Abi Ninja

Abi Ninja

إن Abi Ninja هي واجهة مستخدم للمتصفح لاستدعاء العقود باستخدام واجهات التطبيق الثنائية (ABIs) المعروفة، أو الملصقة، أو رمز البايت المفكك، مع قراءات مدركة للوكيل (proxy-aware) عبر العديد من الشبكات بما في ذلك عقدة Hardhat أو Anvil التي تعمل محليًا.

Walnut

مصحح أخطاء ومحاكي معاملات قائم على الويب لـ ⁦EVM⁩. مفتوح المصدر وقابل للاستضافة الذاتية. افحص حالات المتغيرات في كل خطوة، وقم بمحاكاة المعاملات قبل النشر، وقم بتحليل استخدام الغاز. يدعم أي مزود ⁦RPC⁩.

evmc

أداة سطر أوامر (⁦cli⁩) بسيطة لتحميل كود العقد في بيئة التطوير المتكاملة (⁦IDE⁩) الخاصة بك على الفور.

solizard

solizard

غلاف تفاعلي (interactive shell) سهل للغاية للتفاعل مع العقود الذكية