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

Semgrep (smart-contracts rules)

تصحيح الأخطاء والفحص

تحليل ثابت · الأمان · Solidity

semgrep/semgrep https://pypi.org/project/semgrep/

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.

موارد ذات صلة

CodeTracer

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

EDB: The Ethereum Project Debugger

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

Simbolik - Solidity Debugger

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

Abi Ninja

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

Tenderly

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.

sol2uml

sol2uml generates UML class and storage-layout diagrams from Solidity source or from verified contracts. Builders run it to see contract relationships and how state variables are packed into storage.