hardhat-gas-reporter

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

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

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

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

Tenderly provides transaction simulation, trace debugging, alerting, and Virtual TestNets for contracts. Builders use it to replay a failing transaction, watch deployed contracts, and test against a forked network.

Semgrep is a pattern-based static analysis tool with rulesets for Solidity vulnerabilities. Builders run those rules over a codebase to catch known vulnerable patterns and style issues before review.