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

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.

heimdall-rs is a Rust EVM toolkit that disassembles bytecode, decompiles contracts, generates control flow graphs, and decodes calldata and traces. Builders reach for it when they need to understand a contract that has no published source.

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.

⁦CodeTracer⁩ ایک صارف دوست ٹائم ٹریولنگ ڈیبگر ہے جسے ⁦web3⁩ پروگرامنگ زبانوں کی ایک وسیع رینج کو سپورٹ کرنے کے لیے ڈیزائن کیا گیا ہے۔

The Tenderly CLI is the command line client for Tenderly, pushing contracts for verification and driving error tracking, monitoring, and alerting. Builders install it to run those steps from a terminal or a continuous integration job.

⁦EDB⁩ Solidity ایگزیکیوشن کے لیے ایک سورس-لیول ڈیبگر ہے جس میں سٹیپنگ، لوکلز، واچز، اور بریک پوائنٹس شامل ہیں جب آپ کو آن چین یا ٹیسٹس میں کنٹریکٹ کے رویے میں ⁦IDE-grade⁩ ویزیبلٹی کی ضرورت ہوتی ہے۔

EVMConnector is a browser workspace for calling contract functions on any EVM chain, with saved contracts and shareable call links. Builders use it to drive a contract without writing a script.

A calldata decoder that also unwraps nested function calls. Builders open it when a flat decoder leaves the inner calls of a batched or forwarded transaction unreadable.

SmartContractGUI turns an uploaded ABI into an interface for reading from and writing to that contract on any EVM chain. Builders use it when they have an ABI but no frontend.

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.

Web3Client is a browser tool for creating, testing, and sharing contract ABIs and the calls made against them. Builders use it to work out a call and hand the result to someone else.

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.

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.

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

EVMole extracts function selectors, arguments, and control flow from raw EVM bytecode, including contracts with no verified source. Builders point it at an unknown contract to work out what its functions take.

ایک ⁦hardhat⁩ پلگ ان جو سمارٹ کنٹریکٹ ٹیسٹ سویٹس کے لیے گیس کے استعمال کے اینالیٹکس فراہم کرتا ہے۔ اس میں ⁦OPStack⁩ چینز کے لیے مخصوص سپورٹ ہے، یہ ⁦> 150k Github⁩ ریپوز میں ایک ڈیپینڈینسی ہے اور اسے ⁦NPM⁩ سے ہر ہفتے ⁦> 100k⁩ بار ڈاؤن لوڈ کیا جاتا ہے۔

Abi Ninja معلوم ⁦ABIs⁩، پیسٹ کیے گئے ⁦ABIs⁩، یا ڈی کمپائلڈ بائٹ کوڈ کے ساتھ کنٹریکٹس کو کال کرنے کے لیے ایک براؤزر ⁦UI⁩ ہے، جس میں آپ کے مقامی طور پر چلنے والے Hardhat یا Anvil نوڈ سمیت کئی نیٹ ورکس پر پراکسی-آگاہ ریڈز شامل ہیں۔

hardhat-tracer is a Hardhat plugin that prints internal calls, events, and storage operations for a transaction in the console. Hardhat users install it to see what actually happened inside a failing test transaction.

Radar, from Auditware, is a static analysis tool that covers Solidity as well as Rust, Anchor, and Stylus contracts. Auditors run it to get findings across a mixed contract codebase.

geas, the Good Ethereum Assembler, is an assembler for writing raw EVM bytecode by hand, maintained by a go-ethereum core developer. It is used for EIP test cases and other low-level contract work.

evm-storage turns a transaction hash into readable state diffs and can list a contract's full storage. Builders install the command line tool when they need to see exactly which storage slots a call changed.

⁦Loop Decoder⁩ کم از کم بیرونی انحصار کے ساتھ ایک ⁦TypeScript⁩ لائبریری ہے جو بلاک چین ڈیٹا کو انسان کے پڑھنے کے قابل فارمیٹ میں تبدیل کرتی ہے۔

scopelint is an opinionated formatter and linter for Foundry Solidity projects. Builders install it to hold a codebase to the ScopeLift conventions.

⁦EVM⁩ کے لیے ویب پر مبنی ٹرانزیکشن ڈیبگر اور سمیلیٹر۔ اوپن سورس اور سیلف ہوسٹ ایبل۔ ہر قدم پر متغیر حالتوں کا معائنہ کریں، تعینات کرنے سے پہلے ٹرانزیکشنز کی نقل کریں، اور گیس کے استعمال کی پروفائل بنائیں۔ کسی بھی ⁦RPC⁩ پرووائیڈر کو سپورٹ کرتا ہے۔

forky is a fork choice viewer for the Ethereum beacon chain. Consensus client developers self-host it or use the public instances to see and debug fork choice behavior on mainnet and testnets.

sol-profiler is a command line tool that lists a Solidity contract's methods with their visibility, mutability and modifiers. Reviewers run it to see the surface of a contract at a glance.

tracoor is an explorer for beacon states and execution traces. Client and protocol developers self-host it to inspect block and state traces on devnets and testnets.

Slippy is a Solidity linter for static analysis of smart contracts. Teams install the npm package to lint contracts as part of a build.

4byte.directory maps four-byte function selectors and 32-byte event-signature hashes to their human-readable signatures. Builders query it when decoding calldata or logs from contracts without a published ABI.

⁦viem-tracer⁩ ایک ⁦Viem⁩ کلائنٹ کو بڑھاتا ہے تاکہ ناکام ⁦ethestimateGas⁩ اور ⁦ethsendTransaction⁩ کالز میں خود بخود ⁦sourcify.dev⁩ کے ساتھ ڈی کوڈ کردہ انسانی پڑھنے کے قابل ٹریس آؤٹ پٹ شامل ہو جائے، اور یہ ⁦debug_traceCall⁩ کے ارد گرد ٹائپ شدہ ہیلپرز کا اضافہ کرتا ہے تاکہ ڈیولپرز اپنے موجودہ ⁦RPC⁩ اسٹیک کو چھوڑے بغیر ایگزیکیوشن کا معائنہ کر سکیں۔

⁦Chimera⁩ ⁦foundry⁩ میں ⁦Solidity⁩ ٹیسٹ لکھنے اور انہیں دیگر اوپن سورس ٹولز جیسے ⁦Echidna⁩، ⁦Medusa⁩، ⁦Halmos⁩ اور ⁦Kontrol⁩ کے ساتھ دوبارہ استعمال کرنے کے قابل ہونے کے لیے ایک فریم ورک ہے۔

سلدر ⁦Solidity⁩ اور ⁦Vyper⁩ کے لیے ⁦Trail of Bits⁩ کا ⁦Python⁩ جامد تجزیہ انجن ہے: اسے ⁦CI⁩ میں چلائیں تاکہ ڈیٹیکٹرز کو فائر کیا جا سکے، کنٹریکٹس کے ساختی مناظر پرنٹ کیے جا سکیں، یا پورے کوڈ بیسز پر کسٹم چیکس اسکرپٹ کیے جا سکیں۔

Echidna is a property-based and grammar fuzzer for Ethereum smart contracts. Builders and auditors write properties with it to find inputs that break contract invariants.

⁦Synpress⁩ ⁦Playwright⁩ کو ایتھیریم سے آگاہ براؤزر آٹومیشن کے ساتھ تہہ دار بناتا ہے تاکہ آپ ⁦CI⁩ میں والیٹ پاپ اپس اور چین سوئچز سمیت غیر مرکزی ایپلی کیشنز (dapps) کا اینڈ-ٹو-اینڈ ٹیسٹ کر سکیں۔

ItyFuzz is a bytecode-level smart-contract fuzzer that combines fuzzing with symbolic analysis. Builders and auditors run it against EVM bytecode when source-level fuzzing is not enough or no source is available.

Aderyn Cyfrin کا اوپن سورس، Rust پر مبنی Solidity سمارٹ کنٹریکٹ سٹیٹک اینالائزر ہے جسے پروٹوکول انجینئرز اور سیکیورٹی محققین کو Solidity کوڈ بیسز میں کمزوریوں کو تلاش کرنے میں مدد کے لیے ڈیزائن کیا گیا ہے۔

⁦Medusa⁩ ایک سٹیٹ فل سمارٹ کنٹریکٹ فزر (fuzzer) ہے جو ⁦Echidna⁩ سے متاثر ہے۔ یہ سمارٹ کنٹریکٹس کی متوازی فز ٹیسٹنگ اور جدید سمارٹ کنٹریکٹ انویرینٹس (invariants) کی تصدیق فراہم کرتا ہے۔

eth-tester is a pluggable in-memory Ethereum backend used by web3.py for fast unit tests. Python builders import it when tests should run against a simulated chain instead of a node.

⁦Titanoboa⁩ ایک انٹرایکٹو ⁦Vyper⁩ انٹرپریٹر اور ٹیسٹ ہارنس ہے جو تیز فیڈ بیک لوپس کے لیے ہے جب آپ مکمل ⁦Foundry⁩ لوپ سے باہر کنٹریکٹس کے ساتھ تجربہ کر رہے ہوں۔

Hive is an end-to-end integration test harness that runs Ethereum clients in Docker across simulator scenarios. Client teams use it to check that implementations agree with each other.

goevmlab is an EVM fuzzing and differential testing lab built by a go-ethereum core developer. EVM implementers use it to fuzz their own implementation and compare its behavior against others to find divergences.

⁦solidity-coverage⁩ ⁦Hardhat⁩ ڈیولپر پلیٹ فارم کے لیے سمارٹ کنٹریکٹ کوڈ کوریج فراہم کرتا ہے۔ یہ انتہائی درست ہے، مکمل ⁦viaIR⁩ ⁦Solidity⁩ کمپائلیشن اور ⁦Solidity⁩ کے لیے مخصوص کوڈ برانچ پیٹرنز کے ایک بڑے سیٹ کو سپورٹ کرتا ہے۔ یہ ⁦~230k⁩ ⁦Github⁩ پروجیکٹس پر انسٹال ہے اور اسے ⁦NPM⁩ سے ہفتے میں ⁦~100k⁩ بار ڈاؤن لوڈ کیا جاتا ہے۔

⁦hevm⁩ ایک اوپن سورس، جدید ترین، تیز رفتار علامتی اور ٹھوس ⁦EVM⁩ ایگزیکیوشن انجن ہے جو سمارٹ کنٹریکٹس میں مسائل تلاش کر سکتا ہے۔ اپنے علامتی ایگزیکیوشن اور تجزیہ کے نظام کے ذریعے، ⁦hevm⁩ بگز تلاش کرنے کے لیے علامتی، نیم ٹھوس، یا ٹھوس طور پر کنٹریکٹس کو ایگزیکیوٹ کر سکتا ہے، یا تضادات کے لیے دو مختلف کنٹریکٹس کا موازنہ کر سکتا ہے، اور مساوات کی جانچ کر سکتا ہے۔

Crytic-Properties کچھ سب سے زیادہ استعمال ہونے والے ٹوکن معیارات جیسے ERC-20، ERC-721، ERC-4626، اور مزید کے لیے دوبارہ استعمال کے قابل سیکیورٹی ٹیسٹس کا ایک مجموعہ ہے۔

AuditHub is Veridise's hosted security platform that connects to a GitHub repository and runs automated checks on every commit. It bundles Vanguard (static analysis for Solidity 0.8.4 and newer, in Hardhat and Foundry projects), OrCa (a specification-driven fuzzer for multi-contract DeFi protocols), Picus (determinism verification for ZK circuits) and ZK Vanguard (static analysis for ZK circuits). Smart contract and ZK teams use it to catch reentrancy, specification violations and underconstrained circuits during development, before an external audit.

contender from Flashbots is a load-testing tool that floods EVM execution nodes over JSON-RPC and benchmarks the results. Teams benchmarking a client point it at an endpoint to generate load and measure throughput.

برانچنگ ٹری تکنیک پر مبنی ایک سمارٹ کنٹریکٹ ٹیسٹ جنریٹر۔

spamoor is a configurable Ethereum transaction generator for load-testing testnets and devnets with realistic traffic. Teams point it at a network to see how it behaves under sustained transaction volume.

Assertoor runs configurable checks and assertions against a live Ethereum devnet to validate its behavior. Client and devnet teams use it to confirm a running network is healthy, in the same family as Hive.

⁦KEVM⁩ ⁦EVM⁩ کی ⁦K-framework⁩ ایگزیکیوٹیبل سیمینٹکس ہے: جب آپ کو کنفارمنس چیک شدہ ایگزیکیوشن، علامتی کھوج، گیس کی استدلال، یا ایسے ثبوتوں کی ضرورت ہو جو ایتھیریم کے اصولوں کو قریب سے ٹریک کرتے ہوں تو اسے بائٹ کوڈ پر پوائنٹ کریں۔

⁦hax⁩ ⁦Rust⁩ کے ایک بڑے سب سیٹ کو فارمل زبانوں جیسے ⁦F*⁩ یا ⁦Rocq⁩ میں ہائی ایشورنس ٹرانسلیشنز کے لیے ایک ٹول ہے۔

Certora Prover is a cloud formal-verification service that checks specifications written in CVL against deployed contract code. Verification engineers use it to prove that a contract holds stated properties for all inputs.

⁦Kontrol⁩ ⁦Foundry⁩ پراپرٹی ٹیسٹس کو ⁦KEVM⁩ کے حمایت یافتہ ثبوتوں میں تبدیل کرتا ہے تاکہ آپ صرف خام ⁦KEVM⁩ کے مقابلے میں کم ہاتھ سے لکھے گئے تصریحی کام کے ساتھ رسمی ضمانتوں کا پیچھا کر سکیں۔

Act ایتھیریم کی ڈیکلریٹو اسپیسیفیکیشن لینگویج اور ٹول چین ہے جو کسی ⁦EVM⁩ پروگرام کے تمام طرز عمل کو بیان کرنے کے لیے ہے تاکہ ⁦SMT⁩ سالورز، تھیورم پروورز، یا معاشی تجزیہ کے ٹولز بائٹ کوڈ کی سطح کی درستگی اور ترغیبی مطابقت کے بارے میں استدلال کر سکیں، بشمول ٹھوس نفاذ کے خلاف خودکار ریفائنمنٹ ثبوت۔

⁦Verifereum⁩ ایتھیریم سمارٹ کنٹریکٹس کو ⁦HOL4⁩ کی حمایت یافتہ تھیورم پرونگ سے جوڑتا ہے تاکہ جب خودکار ⁦SMT⁩ طریقے کافی نہ ہوں تو آپ انتہائی مضبوط درستگی کے دعووں کا ہدف بنا سکیں۔

Certora AutoProver is an AI bot that automates parts of formal verification for smart contracts. Verification engineers use it to generate and run checks with less manual specification work.