الأمان والاختبار

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

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

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

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

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

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

يعزز ⁦viem-tracer⁩ عميل Viem بحيث تتضمن استدعاءات ⁦ethestimateGas⁩ و ⁦ethsendTransaction⁩ الفاشلة تلقائيًا مخرجات تتبع يمكن قراءتها بواسطة الإنسان ومفككة التشفير باستخدام ⁦sourcify.dev⁩، ويضيف مساعدين مكتوبين (typed helpers) حول ⁦debug_traceCall⁩ بحيث يمكن للمطورين فحص التنفيذ دون مغادرة حزمة ⁦RPC⁩ الحالية الخاصة بهم.

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

يقوم ⁦forge-stack-tracer⁩ بتوجيه مخرجات اختبار ⁦Foundry⁩ المطولة من خلال فك تشفير ⁦Swiss-Knife⁩ بحيث تُرجع الاختبارات الفاشلة تتبعات مكدس (stack traces) تفاعلية بدلاً من القيم السداسية العشرية (⁦hex⁩) المبهمة.

إن ⁦Chimera⁩ هو إطار عمل لكتابة اختبارات ⁦Solidity⁩ في ⁦foundry⁩ والقدرة على إعادة استخدامها مع أدوات مفتوحة المصدر أخرى مثل ⁦Echidna⁩ و⁦Medusa⁩ و⁦Halmos⁩ و⁦Kontrol⁩

سليذر هو محرك التحليل الثابت بلغة Python من Trail of Bits لـ Solidity و Vyper: قم بتشغيله في التكامل المستمر (⁦CI⁩) لإطلاق أجهزة الكشف، أو طباعة طرق العرض الهيكلية للعقود، أو كتابة نصوص برمجية لفحوصات مخصصة عبر قواعد الأكواد بأكملها.

تدمج Synpress أداة ⁦Playwright⁩ مع أتمتة متصفح مدركة لإيثيريوم بحيث يمكنك إجراء اختبار شامل للتطبيقات اللامركزية (dapps)، بما في ذلك النوافذ المنبثقة للمحفظة وتبديلات السلسلة، في التكامل المستمر (⁦CI⁩).

إن Aderyn هو محلل ثابت للعقود الذكية بلغة Solidity مفتوح المصدر ومبني على Rust من Cyfrin، مصمم لمساعدة مهندسي البروتوكول وباحثي الأمن في العثور على نقاط الضعف في قواعد أكواد Solidity.

إن ⁦Titanoboa⁩ هو مترجم Vyper تفاعلي وبيئة اختبار لحلقات التغذية الراجعة السريعة عندما تقوم بتجربة العقود خارج حلقة Foundry كاملة.

Medusa هي أداة اختبار عشوائي (fuzzer) للعقود الذكية ذات الحالة (stateful) مستوحاة من Echidna. توفر اختبارًا عشوائيًا متوازيًا للعقود الذكية والتحقق من الثوابت المتقدمة للعقود الذكية.

يوفر solidity-coverage تغطية كود العقد الذكي لمنصة مطوري Hardhat. إنه دقيق للغاية، ويدعم تجميع Solidity الكامل عبر viaIR ومجموعة كبيرة من أنماط فروع الكود الخاصة بـ Solidity. تم تثبيته على حوالي ⁦230k⁩ مشروع على GitHub ويتم تنزيله حوالي ⁦100k⁩ مرة في الأسبوع من NPM.

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

إن Crytic-Properties هي مجموعة من اختبارات الأمان القابلة لإعادة الاستخدام لبعض معايير الرموز المميزة الأكثر استخدامًا مثل ERC-20 وERC-721 وERC-4626 وغيرها.

إن ⁦Wallet Test Framework⁩ عبارة عن مجموعة آلية تستعرض التدفقات الأساسية للمحفظة - التحويلات، وقراءات الرصيد، وتفاعلات التطبيقات اللامركزية (dapps) الأساسية - بحيث يمكن للفرق إجراء اختبار الانحدار (regression-test) لتوقعات تجربة المستخدم (⁦UX⁩) المشتركة في التكامل المستمر (⁦CI⁩).

مُنشئ اختبارات للعقود الذكية يعتمد على تقنية الشجرة المتفرعة (Branching Tree Technique).

إن ERCx هي مكتبة اختبار شاملة ومفتوحة المصدر لمعايير الرموز المميزة ERC، وتتميز بأكثر من ⁦500⁩ اختبار فردي عبر تطبيقات ERC-20 وERC-721 وERC-1155 وERC-4626.

مدقق أمان العقود الذكية لـ Solidity/EVM مع ⁦104⁩ نمطًا لنقاط الضعف و ⁦8⁩ أدوات تحليل. يحقق ⁦100%⁩ في معايير ⁦CTF⁩ و ⁦EVMBench⁩ (⁦120/120⁩). تحليل ثابت لاكتشاف نقاط الضعف في العقود الذكية.

إن ⁦foundry-storage-check⁩ هو إجراء ⁦GitHub⁩ لمشاريع ⁦Foundry⁩ يتم تشغيله في كل طلب سحب (pull request) لضمان بقاء تخطيطات تخزين الوكيل (⁦proxy⁩) القابلة للترقية آمنة من التعارض وأن فتحات التخزين المضافة حديثًا تتم تهيئتها بصفر على السلسلة قبل شحن عمليات الدمج.

إن blocksmith.js هو إطار عمل JavaScript خفيف حول forge وanvil لكتابة نصوص اختبارات Foundry متعددة السلاسل أو متعددة المثيلات عندما لا يكون EVM محلي واحد كافيًا.

إن ⁦KEVM⁩ هي الدلالات القابلة للتنفيذ لإطار عمل ⁦K⁩ لـ ⁦EVM⁩: وجهها إلى رمز البايت عندما تحتاج إلى تنفيذ تم التحقق من توافقه، أو استكشاف رمزي، أو استنتاج الغاز، أو إثباتات تتتبع قواعد إيثيريوم عن كثب.

يرفع ⁦Kontrol⁩ اختبارات خصائص ⁦Foundry⁩ إلى إثباتات مدعومة بـ ⁦KEVM⁩ بحيث يمكنك متابعة الضمانات الشكلية بعمل مواصفات مكتوبة بخط اليد أقل من ⁦KEVM⁩ الخام وحده.

إن ⁦hax⁩ هي أداة لترجمات عالية الضمان لمجموعة فرعية كبيرة من ⁦Rust⁩ إلى لغات رسمية مثل ⁦F*⁩ أو ⁦Rocq⁩.

إن Act هي لغة المواصفات التصريحية وسلسلة الأدوات الخاصة بإيثيريوم لوصف جميع سلوكيات برنامج EVM بحيث يمكن لمحللات SMT، أو مثبتات النظريات، أو أدوات التحليل الاقتصادي التفكير في الصحة على مستوى رمز البايت وتوافق الحوافز، بما في ذلك إثباتات التحسين التلقائية مقابل التطبيقات الملموسة.

تربط ⁦Verifereum⁩ العقود الذكية لإيثيريوم بإثبات النظريات المدعوم بـ ⁦HOL4⁩ بحيث يمكنك استهداف ادعاءات صحة قوية جدًا عندما لا تكون مناهج ⁦SMT⁩ الآلية كافية.