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

revm-inspectors

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

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

paradigmxyz/revm-inspectors https://crates.io/crates/revm-inspectors

revm-inspectors is a Rust crate of EVM execution hooks and tracing built on revm, and it powers call tracing in Reth and Foundry. Rust builders import it to build their own tracers and debuggers.

متعلقہ وسائل

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.