سیکیورٹی اور ٹیسٹنگ

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-grade⁩ ویزیبلٹی کی ضرورت ہوتی ہے۔

Simbolik - Solidity Debugger

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

Abi Ninja

Abi Ninja معلوم ⁦ABIs⁩، پیسٹ کیے گئے ⁦ABIs⁩، یا ڈی کمپائلڈ بائٹ کوڈ کے ساتھ کنٹریکٹس کو کال کرنے کے لیے ایک براؤزر ⁦UI⁩ ہے، جس میں آپ کے مقامی طور پر چلنے والے 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.