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

pyevmasm

ڈیبگنگ اور انسپکشن

ڈیبگنگ ٹولز · کوڈ کا تجزیہ · ⁦CLI⁩

crytic/pyevmasm https://pypi.org/project/pyevmasm/

pyevmasm is a Python disassembler and assembler for EVM bytecode from Trail of Bits. Analysis scripts import it to turn bytecode into instructions and back.

متعلقہ وسائل

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.

Semgrep (smart-contracts rules)

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.